Home
last modified time | relevance | path

Searched refs:VCPU_REGS_RCX (Results 1 – 5 of 5) sorted by relevance

/linux/arch/x86/kvm/svm/
H A Dsev.c1011 save->rcx = svm->vcpu.arch.regs[VCPU_REGS_RCX]; in sev_es_sync_vmsa()
3416 ghcb_set_rcx(ghcb, vcpu->arch.regs[VCPU_REGS_RCX]); in sev_es_sync_to_ghcb()
3445 vcpu->arch.regs[VCPU_REGS_RCX] = kvm_ghcb_get_rcx_if_valid(svm); in sev_es_sync_from_ghcb()
4394 vcpu->arch.regs[VCPU_REGS_RCX] = 0; in sev_handle_vmgexit_msr_protocol()
4410 cpuid_value = vcpu->arch.regs[VCPU_REGS_RCX]; in sev_handle_vmgexit_msr_protocol()
H A Dnested.c1574 msr = svm->vcpu.arch.regs[VCPU_REGS_RCX]; in nested_svm_exit_handled_msr()
H A Dsvm.c3601 "rcx:", vcpu->arch.regs[VCPU_REGS_RCX], in dump_vmcb()
/linux/arch/x86/include/asm/
H A Dkvm_host.h149 VCPU_REGS_RCX = __VCPU_REGS_RCX, enumerator
/linux/arch/x86/kvm/vmx/
H A Dtdx.c1017 BIT(VCPU_REGS_RCX) | \