pte64
pte64 = (((uint64_t)data[1]) << 32) | data[0];
XDT_PROBE3(XDT_PV_PTWR_EMULATION, pte64, addr64, rip64);
pte64 = ((uint64_t)data[1] << 32) | data[0];
XDT_PROBE3(XDT_SHADOW_NOT_SHADOW, pte64, data[2], data[3]);
pte64 = ((uint64_t)data[1] << 32) | data[0];
XDT_PROBE3(XDT_SHADOW_NOT_SHADOW, pte64, addr64, data[4]);
pte64 = ((uint64_t)data[1] << 32) | data[0];
XDT_PROBE3(XDT_SHADOW_FIXUP, pte64, data[2], data[3]);
pte64 = ((uint64_t)data[1] << 32) | data[0];
XDT_PROBE3(XDT_SHADOW_FIXUP, pte64, addr64, data[4]);
pte64 = ((uint64_t)data[1] << 32) | data[0];
XDT_PROBE5(XDT_SHADOW_EMULATE, pte64, val64, data[4],
pte64 = ((uint64_t)data[1] << 32) | data[0];
XDT_PROBE5(XDT_SHADOW_EMULATE, pte64, val64, data[4],
uint64_t tsc, addr64, rip64, val64, pte64;