kvm_rsp_read     3670 arch/x86/kvm/vmx/nested.c 	vmcs12->guest_rsp = kvm_rsp_read(vcpu);
kvm_rsp_read     8647 arch/x86/kvm/x86.c 	regs->rsp = kvm_rsp_read(vcpu);