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