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