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