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