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