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