X86_FEATURE_DE   1963 arch/x86/kernel/cpu/common.c 	    boot_cpu_has(X86_FEATURE_DE))
X86_FEATURE_DE   6955 arch/x86/kvm/vmx/vmx.c 	cr4_fixed1_update(X86_CR4_DE,         edx, bit(X86_FEATURE_DE));