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