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