XIVE_ESB_SET_PQ_10
val = xive_vm_esb_load(xd, XIVE_ESB_SET_PQ_10);
xive_vm_esb_load(&state->ipi_data, XIVE_ESB_SET_PQ_10);
__raw_readq(esc_vaddr + XIVE_ESB_SET_PQ_10);
if (offset == XIVE_ESB_SET_PQ_10 && xd->flags & XIVE_IRQ_FLAG_STORE_EOI)
if (offset == XIVE_ESB_SET_PQ_10 && xive_is_store_eoi(xd))
xive_esb_read(xd, XIVE_ESB_SET_PQ_10);
pq = xive_esb_read(xd, XIVE_ESB_SET_PQ_10);