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