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