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