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