GUEST_RSP         956 arch/x86/kvm/vmx.c 	vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP);
GUEST_RSP         966 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_RSP, vcpu->arch.regs[VCPU_REGS_RSP]);
GUEST_RSP        2078 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_RSP, 0);