Symbol: m8820x_cache_wbinv
sys/arch/m88k/m88k/m8820x_machdep.c
100
void m8820x_cache_wbinv(cpuid_t, paddr_t, psize_t);
sys/arch/m88k/m88k/m8820x_machdep.c
121
m8820x_cache_wbinv,