ref: 0872cc95cc4d3146adc0eb217efef3a462b31f02 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"