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