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