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