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