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