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