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