Symbol: xive_hvi
sys/arch/powerpc64/dev/xive.c
152
void xive_hvi(struct trapframe *);
sys/arch/powerpc64/dev/xive.c
228
_hvi = xive_hvi;