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