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