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