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