Symbol: m8820x_tlbia
sys/arch/m88k/m88k/m8820x_machdep.c
120
m8820x_tlbia,
sys/arch/m88k/m88k/m8820x_machdep.c
99
void m8820x_tlbia(cpuid_t);