ref: 2cdb58c1d3d3880597a7b4e40fc06470426d62dc dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"