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