vcpu_put_rsp_rip 2431 arch/x86/kvm/vmx.c 			vcpu_put_rsp_rip(vcpu);
vcpu_put_rsp_rip 2441 arch/x86/kvm/vmx.c 			vcpu_put_rsp_rip(vcpu);
vcpu_put_rsp_rip 2493 arch/x86/kvm/vmx.c 	vcpu_put_rsp_rip(vcpu);
vcpu_put_rsp_rip 3228 arch/x86/kvm/vmx.c 	.decache_regs = vcpu_put_rsp_rip,