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