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