CPUID_8000_0001_ECX  944 arch/x86/kernel/cpu/common.c 			c->x86_capability[CPUID_8000_0001_ECX] = ecx;
CPUID_8000_0001_ECX  734 arch/x86/kvm/cpuid.c 		cpuid_mask(&entry->ecx, CPUID_8000_0001_ECX);
CPUID_8000_0001_ECX   47 arch/x86/kvm/cpuid.h 	[CPUID_8000_0001_ECX] = {0x80000001, 0, CPUID_ECX},