Searched refs:CPUID_8000_0001_EDX (Results 1 – 4 of 4) sorted by relevance
43 [CPUID_8000_0001_EDX] = {0x80000001, 0, CPUID_EDX},
639 cpuid_mask(&entry->edx, CPUID_8000_0001_EDX); in __do_cpuid_ent()
15 CPUID_8000_0001_EDX, enumerator
878 c->x86_capability[CPUID_8000_0001_EDX] = edx; in get_cpu_cap()
