XIVE_ESB_SET_PQ_00
eoi_val = xive_vm_esb_load(xd, XIVE_ESB_SET_PQ_00);
xive_vm_esb_load(&state->ipi_data, XIVE_ESB_SET_PQ_00);
xive_vm_esb_load(&xc->vp_ipi_data, XIVE_ESB_SET_PQ_00);
__raw_readq(esc_vaddr + XIVE_ESB_SET_PQ_00);
eoi_val = xive_esb_read(xd, XIVE_ESB_SET_PQ_00);
xive_esb_read(xd, XIVE_ESB_SET_PQ_00);