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