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