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