Searched refs:CPUID_8000_0007_EBX (Results 1 – 3 of 3) sorted by relevance
83 [CPUID_8000_0007_EBX] = {0x80000007, 0, CPUID_EBX},
32 CPUID_8000_0007_EBX, enumerator
1085 c->x86_capability[CPUID_8000_0007_EBX] = ebx; in get_cpu_cap()