Symbol: _kern_get_cpuid
headers/private/system/syscalls.h
576
extern status_t _kern_get_cpuid(cpuid_info *info, uint32 eax, uint32 cpu);
src/system/libroot/os/arch/x86/system_info.c
14
return _kern_get_cpuid(info, eaxRegister, cpuNum);