VCPU_EXREG_CR3    112 arch/x86/kvm/kvm_cache_regs.h 	if (!test_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail))
VCPU_EXREG_CR3   1015 arch/x86/kvm/vmx/nested.c 	__set_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail);
VCPU_EXREG_CR3   3997 arch/x86/kvm/vmx/nested.c 	__set_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail);
VCPU_EXREG_CR3   2838 arch/x86/kvm/vmx/vmx.c 	__set_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail);
VCPU_EXREG_CR3   2888 arch/x86/kvm/vmx/vmx.c 	if (!test_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail))
VCPU_EXREG_CR3   6616 arch/x86/kvm/vmx/vmx.c 				  | (1 << VCPU_EXREG_CR3));
VCPU_EXREG_CR3   1041 arch/x86/kvm/x86.c 	__set_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail);
VCPU_EXREG_CR3   8891 arch/x86/kvm/x86.c 	__set_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail);