Symbol: m8820x_tlbis
sys/arch/m88k/m88k/m8820x_machdep.c
118
m8820x_tlbis,
sys/arch/m88k/m88k/m8820x_machdep.c
97
void m8820x_tlbis(cpuid_t, vaddr_t, pt_entry_t);