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