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