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