CPUID_8000_0001_EDX
c->x86_capability[CPUID_8000_0001_EDX] = edx;
kvm_cpu_cap_init(CPUID_8000_0001_EDX,
cpuid_entry_override(entry, CPUID_8000_0001_EDX);
BUILD_BUG_ON(kvm_cpu_cap_init_in_progress != CPUID_8000_0001_EDX); \
[CPUID_8000_0001_EDX] = {0x80000001, 0, CPUID_EDX},