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