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