XIVE_ESB_GET     2070 arch/powerpc/kvm/book3s_xive.c 			u64 pq = xive_vm_esb_load(xd, XIVE_ESB_GET);
XIVE_ESB_GET      248 arch/powerpc/sysdev/xive/common.c 			u64 val = xive_esb_read(&xc->ipi_data, XIVE_ESB_GET);
XIVE_ESB_GET      282 arch/powerpc/sysdev/xive/common.c 		u64 val = xive_esb_read(xd, XIVE_ESB_GET);
XIVE_ESB_GET      977 arch/powerpc/sysdev/xive/common.c 		pq = xive_esb_read(xd, XIVE_ESB_GET);