XIVE_ESB_STORE_EOI   76 arch/powerpc/kvm/book3s_xive_template.c 		__x_writeq(0, __x_eoi_page(xd) + XIVE_ESB_STORE_EOI);
XIVE_ESB_STORE_EOI  357 arch/powerpc/sysdev/xive/common.c 		xive_esb_write(xd, XIVE_ESB_STORE_EOI, 0);