__x_eoi_page       64 arch/powerpc/kvm/book3s_xive_template.c 	val =__x_readq(__x_eoi_page(xd) + offset);
__x_eoi_page       76 arch/powerpc/kvm/book3s_xive_template.c 		__x_writeq(0, __x_eoi_page(xd) + XIVE_ESB_STORE_EOI);
__x_eoi_page       85 arch/powerpc/kvm/book3s_xive_template.c 		__x_readq(__x_eoi_page(xd) + XIVE_ESB_LOAD_EOI);