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