CPUID_8000_000A_EDX  962 arch/x86/kernel/cpu/common.c 		c->x86_capability[CPUID_8000_000A_EDX] = cpuid_edx(0x8000000a);
CPUID_8000_000A_EDX   52 arch/x86/kvm/cpuid.h 	[CPUID_8000_000A_EDX] = {0x8000000a, 0, CPUID_EDX},