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