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