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