Symbol: m8820x_icache_inv
sys/arch/m88k/m88k/m8820x_machdep.c
102
void m8820x_icache_inv(cpuid_t, paddr_t, psize_t);
sys/arch/m88k/m88k/m8820x_machdep.c
123
m8820x_icache_inv,