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