Symbol: m8820x_tlbiu
sys/arch/m88k/m88k/m8820x_machdep.c
119
m8820x_tlbiu,
sys/arch/m88k/m88k/m8820x_machdep.c
98
void m8820x_tlbiu(cpuid_t, vaddr_t, pt_entry_t);