Symbol: m8820x_ibatc_set
sys/arch/m88k/m88k/m8820x_machdep.c
206
void m8820x_ibatc_set(cpuid_t, uint, batc_t);
sys/arch/m88k/m88k/m8820x_machdep.c
394
m8820x_ibatc_set(cpu, batcno, global_ibatc[batcno]);