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