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