Lines Matching defs:pte64
699 uint64_t tsc, addr64, rip64, val64, pte64;
1144 pte64 = (((uint64_t)data[1]) << 32) | data[0];
1147 XDT_PROBE3(XDT_PV_PTWR_EMULATION, pte64, addr64, rip64);
1457 pte64 = ((uint64_t)data[1] << 32) | data[0];
1458 XDT_PROBE3(XDT_SHADOW_NOT_SHADOW, pte64, data[2], data[3]);
1470 pte64 = ((uint64_t)data[1] << 32) | data[0];
1471 XDT_PROBE3(XDT_SHADOW_NOT_SHADOW, pte64, addr64, data[4]);
1540 pte64 = ((uint64_t)data[1] << 32) | data[0];
1541 XDT_PROBE3(XDT_SHADOW_FIXUP, pte64, data[2], data[3]);
1553 pte64 = ((uint64_t)data[1] << 32) | data[0];
1554 XDT_PROBE3(XDT_SHADOW_FIXUP, pte64, addr64, data[4]);
1580 pte64 = ((uint64_t)data[1] << 32) | data[0];
1582 XDT_PROBE5(XDT_SHADOW_EMULATE, pte64, val64, data[4],
1596 pte64 = ((uint64_t)data[1] << 32) | data[0];
1599 XDT_PROBE5(XDT_SHADOW_EMULATE, pte64, val64, data[4],