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