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