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