Symbol: machine_print_model
sys/arch/news68k/news68k/machdep.c
202
machine_print_model(void (*pr)(const char *, ...)
sys/arch/sun68k/sun68k/sun68k_machdep.c
60
machine_print_model(void (*pr)(const char *, ...)