Symbol: cpu_startup_print_machine_model
sys/arch/m68k/include/m68k.h
177
void cpu_startup_print_machine_model(void (*)(const char *, ...)
sys/arch/m68k/m68k/m68k_machdep.c
297
cpu_startup_print_machine_model(printf);