Symbol: m8820x_dbatc_set
sys/arch/m88k/m88k/m8820x_machdep.c
183
void m8820x_dbatc_set(cpuid_t, uint, batc_t);
sys/arch/m88k/m88k/m8820x_machdep.c
365
m8820x_dbatc_set(cpu, batcno, global_dbatc[batcno]);