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