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