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