CPUID_8000_0007_EBX  952 arch/x86/kernel/cpu/common.c 		c->x86_capability[CPUID_8000_0007_EBX] = ebx;
CPUID_8000_0007_EBX   54 arch/x86/kvm/cpuid.h 	[CPUID_8000_0007_EBX] = {0x80000007, 0, CPUID_EBX},