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