VCPU_EXREG_PDPTR 82 arch/x86/kvm/kvm_cache_regs.h if (!test_bit(VCPU_EXREG_PDPTR, VCPU_EXREG_PDPTR 84 arch/x86/kvm/kvm_cache_regs.h kvm_x86_ops->cache_reg(vcpu, (enum kvm_reg)VCPU_EXREG_PDPTR); VCPU_EXREG_PDPTR 2414 arch/x86/kvm/svm.c case VCPU_EXREG_PDPTR: VCPU_EXREG_PDPTR 5857 arch/x86/kvm/svm.c vcpu->arch.regs_avail &= ~(1 << VCPU_EXREG_PDPTR); VCPU_EXREG_PDPTR 5858 arch/x86/kvm/svm.c vcpu->arch.regs_dirty &= ~(1 << VCPU_EXREG_PDPTR); VCPU_EXREG_PDPTR 2174 arch/x86/kvm/vmx/vmx.c case VCPU_EXREG_PDPTR: VCPU_EXREG_PDPTR 2853 arch/x86/kvm/vmx/vmx.c if (!test_bit(VCPU_EXREG_PDPTR, VCPU_EXREG_PDPTR 2876 arch/x86/kvm/vmx/vmx.c __set_bit(VCPU_EXREG_PDPTR, VCPU_EXREG_PDPTR 2878 arch/x86/kvm/vmx/vmx.c __set_bit(VCPU_EXREG_PDPTR, VCPU_EXREG_PDPTR 6614 arch/x86/kvm/vmx/vmx.c | (1 << VCPU_EXREG_PDPTR) VCPU_EXREG_PDPTR 723 arch/x86/kvm/x86.c __set_bit(VCPU_EXREG_PDPTR, VCPU_EXREG_PDPTR 725 arch/x86/kvm/x86.c __set_bit(VCPU_EXREG_PDPTR, VCPU_EXREG_PDPTR 744 arch/x86/kvm/x86.c if (!test_bit(VCPU_EXREG_PDPTR,