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