Searched refs:VCPU_REGS_RCX (Results 1 – 5 of 5) sorted by relevance
1012 save->rcx = svm->vcpu.arch.regs[VCPU_REGS_RCX]; in sev_es_sync_vmsa() 3422 ghcb_set_rcx(ghcb, vcpu->arch.regs[VCPU_REGS_RCX]); in sev_es_sync_from_ghcb() 3451 vcpu->arch.regs[VCPU_REGS_RCX] = kvm_ghcb_get_rcx_if_valid(svm); in sev_es_sync_from_ghcb() 4422 vcpu->arch.regs[VCPU_REGS_RCX] = 0; in sev_handle_vmgexit_msr_protocol() 4438 cpuid_value = vcpu->arch.regs[VCPU_REGS_RCX]; in sev_handle_vmgexit_msr_protocol()
1583 msr = svm->vcpu.arch.regs[VCPU_REGS_RCX]; in nested_svm_exit_handled_msr()
3706 "rcx:", vcpu->arch.regs[VCPU_REGS_RCX], in svm_get_entry_info()
155 VCPU_REGS_RCX = __VCPU_REGS_RCX,149 VCPU_REGS_RCX = __VCPU_REGS_RCX, global() enumerator
1029 BIT(VCPU_REGS_RCX) | \