Searched refs:VCPU_REGS_RDX (Results 1 – 4 of 4) sorted by relevance
1013 save->rdx = svm->vcpu.arch.regs[VCPU_REGS_RDX]; in sev_es_sync_vmsa() 3423 ghcb_set_rdx(ghcb, vcpu->arch.regs[VCPU_REGS_RDX]); in sev_es_sync_from_ghcb() 3452 vcpu->arch.regs[VCPU_REGS_RDX] = kvm_ghcb_get_rdx_if_valid(svm); in sev_es_sync_from_ghcb() 4440 cpuid_value = vcpu->arch.regs[VCPU_REGS_RDX]; in sev_handle_vmgexit_msr_protocol()
3707 "rdx:", vcpu->arch.regs[VCPU_REGS_RDX]); in svm_get_entry_info()
156 VCPU_REGS_RDX = __VCPU_REGS_RDX,150 VCPU_REGS_RDX = __VCPU_REGS_RDX, global() enumerator
1030 BIT(VCPU_REGS_RDX) | \