XDT_PROBE3
XDT_PROBE3(XDT_PV_PAGE_FAULT, data[0], data[1], data[2]);
XDT_PROBE3(XDT_PV_PAGE_FAULT, rip64, addr64, data[4]);
XDT_PROBE3(XDT_PV_PTWR_EMULATION, data[0], data[1], data[2]);
XDT_PROBE3(XDT_PV_PTWR_EMULATION, pte64, addr64, rip64);
XDT_PROBE3(XDT_HVM_INTR_WINDOW, data[0], data[1], data[2]);
XDT_PROBE3(eid, addr64, data[2], data[3]);
XDT_PROBE3(XDT_SHADOW_NOT_SHADOW, pte64, data[2], data[3]);
XDT_PROBE3(XDT_SHADOW_NOT_SHADOW, pte64, addr64, data[4]);
XDT_PROBE3(XDT_SHADOW_FIXUP, pte64, data[2], data[3]);
XDT_PROBE3(XDT_SHADOW_FIXUP, pte64, addr64, data[4]);
XDT_PROBE3(IS_IDLE_DOM(sp->prev_domid)?