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);