Searched refs:rip64 (Results 1 – 1 of 1) sorted by relevance
699 uint64_t tsc, addr64, rip64, val64, pte64; in xdt_process_rec() local968 rip64 = (((uint64_t)data[1]) << 32) | data[0]; in xdt_process_rec()969 XDT_PROBE2(XDT_PV_HYPERCALL, rip64, data[2]); in xdt_process_rec()991 rip64 = (((uint64_t)data[1]) << 32) | data[2]; in xdt_process_rec()1015 rip64 = (((uint64_t)data[1]) << 32) | data[0]; in xdt_process_rec()1037 rip64 = (((uint64_t)data[2]) << 32) | data[1]; in xdt_process_rec()1038 XDT_PROBE1(XDT_PV_FORCED_INVALID_OP, rip64); in xdt_process_rec()1057 rip64 = (((uint64_t)data[1]) << 32) | data[0]; in xdt_process_rec()1058 XDT_PROBE1(XDT_PV_EMULATE_PRIVOP, rip64); in xdt_process_rec()1093 rip64 = (((uint64_t)data[1]) << 32) | data[0]; in xdt_process_rec()[all …]