ref: 995379e388e4cd202f683a00e99749c7f21a225d dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"