ref: 18b931dde7d9259968a91a1baee96db92a79d34d dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"