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