Symbol: mips_intern_dcache_sync_range
sys/arch/mips/mips/cache_mipsNN.c
104
mips_intern_dcache_sync_range(va, size);
sys/arch/mips/mips/cache_r5k.c
109
mips_intern_dcache_sync_range(va, size);