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