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