Symbol: VCPU_EXREG_CR4
arch/x86/kvm/kvm_cache_regs.h
195
!kvm_register_is_available(vcpu, VCPU_EXREG_CR4))
arch/x86/kvm/kvm_cache_regs.h
196
kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_CR4);
arch/x86/kvm/vmx/vmx.c
2664
case VCPU_EXREG_CR4:
arch/x86/kvm/vmx/vmx.c
3673
kvm_register_mark_available(vcpu, VCPU_EXREG_CR4);
arch/x86/kvm/vmx/vmx.h
633
(1 << VCPU_EXREG_CR4) | \