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