Symbol: cpu_print_info
sys/arch/evbppc/mpc85xx/machdep.c
1031
cpu_print_info(ci);
sys/arch/evbppc/mpc85xx/machdep.c
1075
cpu_print_info(ci);