Searched refs:pte64 (Results 1 – 2 of 2) sorted by relevance
| /titanic_41/usr/src/uts/common/xen/dtrace/ |
| H A D | xdt.c | 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()
[all …]
|
| /titanic_41/usr/src/uts/intel/ia32/sys/ |
| H A D | pte.h | 80 struct pte64 { struct
|