__x_eoi_page
__raw_readq(__x_eoi_page(xd) + XIVE_ESB_LOAD_EOI);
val = __raw_readq(__x_eoi_page(xd) + offset);
__raw_writeq(0, __x_eoi_page(xd) + XIVE_ESB_STORE_EOI);