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