Symbol: VCPU_REG_CR4
arch/x86/kvm/regs.h
304
!kvm_register_is_available(vcpu, VCPU_REG_CR4))
arch/x86/kvm/regs.h
305
kvm_x86_call(cache_reg)(vcpu, VCPU_REG_CR4);
arch/x86/kvm/vmx/vmx.c
2653
case VCPU_REG_CR4:
arch/x86/kvm/vmx/vmx.c
3596
kvm_register_mark_available(vcpu, VCPU_REG_CR4);
arch/x86/kvm/vmx/vmx.h
635
BIT(VCPU_REG_CR4) | \