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