Symbol: m8820x_cmmu_configuration_print
sys/arch/m88k/m88k/m8820x_machdep.c
161
void m8820x_cmmu_configuration_print(int, int);
sys/arch/m88k/m88k/m8820x_machdep.c
411
m8820x_cmmu_configuration_print(cpu, mmuno);