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