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