CPUID_8000_0001_EDX  945 arch/x86/kernel/cpu/common.c 			c->x86_capability[CPUID_8000_0001_EDX] = edx;
CPUID_8000_0001_EDX  732 arch/x86/kvm/cpuid.c 		cpuid_mask(&entry->edx, CPUID_8000_0001_EDX);
CPUID_8000_0001_EDX   43 arch/x86/kvm/cpuid.h 	[CPUID_8000_0001_EDX] = {0x80000001, 0, CPUID_EDX},