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