Searched refs:CPUID_8000_0008_EBX (Results 1 – 4 of 4) sorted by relevance
52 [CPUID_8000_0008_EBX] = {0x80000008, 0, CPUID_EBX},
670 cpuid_mask(&entry->ebx, CPUID_8000_0008_EBX); in __do_cpuid_ent()
27 CPUID_8000_0008_EBX, enumerator
891 c->x86_capability[CPUID_8000_0008_EBX] = ebx; in get_cpu_cap()
