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