Symbol: FUNC_B_THREAD_LEVEL
sys/platform/pc64/x86_64/mp_machdep.c
1722
cpuid_count(0xb, FUNC_B_THREAD_LEVEL, p);
sys/platform/pc64/x86_64/mp_machdep.c
1731
ecx_index = FUNC_B_THREAD_LEVEL + 1;