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