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