old_rip           819 arch/x86/kvm/svm.c 		unsigned long rip, old_rip = kvm_rip_read(&svm->vcpu);
old_rip           831 arch/x86/kvm/svm.c 		svm->int3_injected = rip - old_rip;