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