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