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