XIVE_ESB_LOAD_EOI   85 arch/powerpc/kvm/book3s_xive_template.c 		__x_readq(__x_eoi_page(xd) + XIVE_ESB_LOAD_EOI);
XIVE_ESB_LOAD_EOI  386 arch/powerpc/sysdev/xive/common.c 			xive_esb_read(xd, XIVE_ESB_LOAD_EOI);