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