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