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