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