__x_writeq         76 arch/powerpc/kvm/book3s_xive_template.c 		__x_writeq(0, __x_eoi_page(xd) + XIVE_ESB_STORE_EOI);
__x_writeq        102 arch/powerpc/kvm/book3s_xive_template.c 			__x_writeq(0, __x_trig_page(xd));
__x_writeq        575 arch/powerpc/kvm/book3s_xive_template.c 			__x_writeq(0, __x_trig_page(xd));
__x_writeq        635 arch/powerpc/kvm/book3s_xive_template.c 		__x_writeq(0, __x_trig_page(&xc->vp_ipi_data));