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