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