XIVE_ESB_STORE_EOI
__raw_writeq(0, __x_eoi_page(xd) + XIVE_ESB_STORE_EOI);
xive_esb_write(xd, XIVE_ESB_STORE_EOI, 0);