ref: 4275c49e72544d5b92512e41ddecbd6af5bee6c3 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"