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