Lines Matching defs:rip64
699 uint64_t tsc, addr64, rip64, val64, pte64;
967 rip64 = (((uint64_t)data[1]) << 32) | data[0];
968 XDT_PROBE2(XDT_PV_HYPERCALL, rip64, data[2]);
990 rip64 = (((uint64_t)data[1]) << 32) | data[2];
991 XDT_PROBE4(XDT_PV_TRAP, rip64, data[2] & 0x7fff,
1014 rip64 = (((uint64_t)data[1]) << 32) | data[0];
1016 XDT_PROBE3(XDT_PV_PAGE_FAULT, rip64, addr64, data[4]);
1036 rip64 = (((uint64_t)data[2]) << 32) | data[1];
1037 XDT_PROBE1(XDT_PV_FORCED_INVALID_OP, rip64);
1056 rip64 = (((uint64_t)data[1]) << 32) | data[0];
1057 XDT_PROBE1(XDT_PV_EMULATE_PRIVOP, rip64);
1092 rip64 = (((uint64_t)data[1]) << 32) | data[0];
1094 XDT_PROBE2(XDT_PV_PAGING_FIXUP, rip64, addr64);
1113 rip64 = (((uint64_t)data[1]) << 32) | data[0];
1115 XDT_PROBE2(XDT_PV_DT_MAPPING_FAULT, rip64, val64);
1146 rip64 = (((uint64_t)data[5]) << 32) | data[4];
1147 XDT_PROBE3(XDT_PV_PTWR_EMULATION, pte64, addr64, rip64);
1178 rip64 = (((uint64_t)data[2]) << 32) | data[1];
1179 XDT_PROBE2(XDT_HVM_VMEXIT, data[0], rip64);