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