Searched refs:VCPU_REGS_RSP (Results 1 – 6 of 6) sorted by relevance
628 #define VMX_REGS_LAZY_LOAD_SET (BIT(VCPU_REGS_RSP) | \
2645 case VCPU_REGS_RSP: in vmx_cache_reg()2646 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg()7536 if (kvm_register_is_dirty(vcpu, VCPU_REGS_RSP)) in vmx_vcpu_run()7537 vmcs_writel(GUEST_RSP, vcpu->arch.regs[VCPU_REGS_RSP]); in vmx_vcpu_run()
152 VCPU_REGS_RSP = __VCPU_REGS_RSP, enumerator
4490 svm->vmcb->save.rsp = vcpu->arch.regs[VCPU_REGS_RSP]; in svm_vcpu_run()4580 vcpu->arch.regs[VCPU_REGS_RSP] = svm->vmcb->save.rsp; in svm_vcpu_run()5033 svm->vmcb->save.rsp = vcpu->arch.regs[VCPU_REGS_RSP]; in svm_enter_smm()
1013 save->rsp = svm->vcpu.arch.regs[VCPU_REGS_RSP]; in sev_es_sync_vmsa()
9607 kvm_register_mark_dirty(vcpu, VCPU_REGS_RSP); in kvm_vcpu_reset()