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