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