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