Home
last modified time | relevance | path

Searched refs:ecx_index (Results 1 – 1 of 1) sorted by relevance

/dflybsd-src/sys/platform/pc64/x86_64/
H A Dmp_machdep.c1700 int ecx_index = 0; in detect_intel_topology() local
1731 ecx_index = FUNC_B_THREAD_LEVEL + 1; in detect_intel_topology()
1733 cpuid_count(0xb, ecx_index, p); in detect_intel_topology()
1741 ecx_index++; in detect_intel_topology()