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