CPUID_C000_0001_EDX
c->x86_capability[CPUID_C000_0001_EDX] = cpuid_edx(0xC0000001);
c->x86_capability[CPUID_C000_0001_EDX] = cpuid_edx(0xC0000001);
kvm_cpu_cap_init(CPUID_C000_0001_EDX,
cpuid_entry_override(entry, CPUID_C000_0001_EDX);
[CPUID_C000_0001_EDX] = {0xc0000001, 0, CPUID_EDX},