Searched refs:CPUID_C000_0001_EDX (Results 1 – 4 of 4) sorted by relevance
46 [CPUID_C000_0001_EDX] = {0xc0000001, 0, CPUID_EDX},
694 cpuid_mask(&entry->edx, CPUID_C000_0001_EDX); in __do_cpuid_ent()
19 CPUID_C000_0001_EDX, enumerator
55 c->x86_capability[CPUID_C000_0001_EDX] = cpuid_edx(0xC0000001); in init_c3()