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