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