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