ref: f04b6bd8ed730f860fa2bb1465e3f0852b8db94a dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"