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