t_rm_h_ipi       2091 arch/powerpc/kvm/book3s_xive.c 	u64 t_rm_h_ipi = 0;
t_rm_h_ipi       2122 arch/powerpc/kvm/book3s_xive.c 		t_rm_h_ipi += xc->stat_rm_h_ipi;
t_rm_h_ipi       2135 arch/powerpc/kvm/book3s_xive.c 	seq_printf(m, " H_IPI   R=%10lld V=%10lld\n", t_rm_h_ipi, t_vm_h_ipi);