Symbol: cpu_print_cache_config
sys/arch/ofppc/ofppc/cpu.c
160
cpu_print_cache_config(icache, iline);
sys/arch/ofppc/ofppc/cpu.c
163
cpu_print_cache_config(icache, iline);
sys/arch/ofppc/ofppc/cpu.c
165
cpu_print_cache_config(dcache, dline);