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