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