XIVE_ESB_LOAD_EOI
__raw_readq(__x_eoi_page(xd) + XIVE_ESB_LOAD_EOI);
xive_esb_read(xd, XIVE_ESB_LOAD_EOI);