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