xive_esb_read
xive_esb_read(xd, XIVE_ESB_SET_PQ_01);
val = xive_esb_read(xd, XIVE_ESB_GET);
u64 val = xive_esb_read(xd, XIVE_ESB_GET);
xive_esb_read(xd, XIVE_ESB_LOAD_EOI);
eoi_val = xive_esb_read(xd, XIVE_ESB_SET_PQ_00);
val = xive_esb_read(xd, XIVE_ESB_SET_PQ_01);
xive_esb_read(xd, XIVE_ESB_SET_PQ_10);
xive_esb_read(xd, XIVE_ESB_SET_PQ_00);
xive_esb_read(xd, XIVE_ESB_SET_PQ_11);
pq = xive_esb_read(xd, XIVE_ESB_SET_PQ_10);
xive_esb_read(xd, XIVE_ESB_SET_PQ_11);
pq = xive_esb_read(xd, XIVE_ESB_GET);