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