XIVE_ESB_GET
u64 pq = xive_vm_esb_load(xd, XIVE_ESB_GET);
pq = xive_vm_esb_load(xd, XIVE_ESB_GET);
val = xive_esb_read(xd, XIVE_ESB_GET);
u64 val = xive_esb_read(xd, XIVE_ESB_GET);
pq = xive_esb_read(xd, XIVE_ESB_GET);