XDT_PV_PAGING_FIXUP
XDT_PROBE2(XDT_PV_PAGING_FIXUP, data[0], data[2]);
XDT_PROBE2(XDT_PV_PAGING_FIXUP, rip64, addr64);
{"pv", "paging-fixup", XDT_PV_PAGING_FIXUP, XDT_PV },