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