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