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