XIVE_ESB_SET_PQ_00
bus_space_read_8(sc->sc_iot, ih->ih_esb_eoi, XIVE_ESB_SET_PQ_00);
XIVE_ESB_SET_PQ_00);