Symbol: mp_cpuprint
sys/arch/x86/x86/mpbios.c
178
int mp_cpuprint(void *, const char *);
sys/arch/x86/x86/mpbios.c
876
config_found(self, &caa, mp_cpuprint,