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