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