XDT_PROBE1
XDT_PROBE1(XDT_PV_FORCED_INVALID_OP, data[1]);
XDT_PROBE1(XDT_PV_FORCED_INVALID_OP, rip64);
XDT_PROBE1(XDT_PV_EMULATE_PRIVOP, data[0]);
XDT_PROBE1(XDT_PV_EMULATE_PRIVOP, rip64);
XDT_PROBE1(XDT_HVM_VIRQ_INJECT, data[0]);
XDT_PROBE1(XDT_HVM_VMMCALL, data[0]);
XDT_PROBE1(XDT_HVM_HLT, data[0]);
XDT_PROBE1(XDT_HVM_LMSW, val64);
XDT_PROBE1(XDT_SHADOW_FAST_PROPAGATE, data[0]);
XDT_PROBE1(XDT_SHADOW_FAST_PROPAGATE, addr64);
XDT_PROBE1(XDT_SHADOW_FAST_MMIO, data[0]);
XDT_PROBE1(XDT_SHADOW_FAST_MMIO, addr64);
XDT_PROBE1(XDT_SHADOW_FALSE_FAST_PATH, data[0]);
XDT_PROBE1(XDT_SHADOW_FALSE_FAST_PATH, addr64);
XDT_PROBE1(XDT_SHADOW_MMIO, data[0]);
XDT_PROBE1(XDT_SHADOW_MMIO, addr64);
XDT_PROBE1(XDT_SHADOW_DOMF_DYING, data[0]);
XDT_PROBE1(XDT_SHADOW_DOMF_DYING, addr64);
XDT_PROBE1(XDT_SHADOW_WRMAP_BF, val64);
XDT_PROBE1(XDT_SHADOW_PREALLOC_UNPIN, val64);
XDT_PROBE1(XDT_SHADOW_RESYNC_FULL, val64);
XDT_PROBE1(XDT_SHADOW_RESYNC_ONLY, val64);
XDT_PROBE1(XDT_TRC_LOST_RECORDS, cpuid);
XDT_PROBE1(XDT_SCHED_ADJDOM, data[1]);
XDT_PROBE1(XDT_MEM_PAGE_GRANT_MAP, data[0]);
XDT_PROBE1(XDT_MEM_PAGE_GRANT_UNMAP, data[0]);
XDT_PROBE1(XDT_MEM_PAGE_GRANT_TRANSFER, data[0]);