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