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