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