CPUID_8000_000A_EDX
c->x86_capability[CPUID_8000_000A_EDX] = cpuid_edx(0x8000000a);
kvm_cpu_cap_init(CPUID_8000_000A_EDX,
cpuid_entry_override(entry, CPUID_8000_000A_EDX);
[CPUID_8000_000A_EDX] = {0x8000000a, 0, CPUID_EDX},