Symbol: XIVE_ESB_LOAD_EOI
arch/powerpc/kvm/book3s_xive.c
106
__raw_readq(__x_eoi_page(xd) + XIVE_ESB_LOAD_EOI);
arch/powerpc/sysdev/xive/common.c
419
xive_esb_read(xd, XIVE_ESB_LOAD_EOI);