ref: 9840a2ddb8940b7efefa7483b2929d4334b13cdb dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"