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