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