Searched refs:VCPU_REGS_RCX (Results 1 - 4 of 4) sorted by relevance
/linux-master/arch/x86/kvm/ |
H A D | emulate.c | 1434 address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) : 1; 2222 ctxt->dst.val64 = ((u64)reg_read(ctxt, VCPU_REGS_RCX) << 32) | 2434 *reg_write(ctxt, VCPU_REGS_RCX) = ctxt->_eip; 2533 rcx = reg_read(ctxt, VCPU_REGS_RCX); 2653 *reg_write(ctxt, VCPU_REGS_RCX) = 0; 2673 tss->cx = reg_read(ctxt, VCPU_REGS_RCX); 2697 *reg_write(ctxt, VCPU_REGS_RCX) = tss->cx; 2786 tss->ecx = reg_read(ctxt, VCPU_REGS_RCX); 2815 *reg_write(ctxt, VCPU_REGS_RCX) = tss->ecx; 3255 if (ctxt->ops->read_pmc(ctxt, reg_read(ctxt, VCPU_REGS_RCX), [all...] |
/linux-master/arch/x86/kvm/svm/ |
H A D | sev.c | 600 save->rcx = svm->vcpu.arch.regs[VCPU_REGS_RCX]; 2433 ghcb_set_rcx(ghcb, vcpu->arch.regs[VCPU_REGS_RCX]); 2463 vcpu->arch.regs[VCPU_REGS_RCX] = kvm_ghcb_get_rcx_if_valid(svm, ghcb); 2800 vcpu->arch.regs[VCPU_REGS_RCX] = 0; 2816 cpuid_value = vcpu->arch.regs[VCPU_REGS_RCX];
|
H A D | nested.c | 1259 msr = svm->vcpu.arch.regs[VCPU_REGS_RCX];
|
/linux-master/arch/x86/include/asm/ |
H A D | kvm_host.h | 169 VCPU_REGS_RCX = __VCPU_REGS_RCX, enumerator in enum:kvm_reg
|
Completed in 167 milliseconds