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