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