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