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,