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