Symbol: mips_intern_dcache_sync_range_index
sys/arch/mips/mips/cache_mipsNN.c
140
mips_intern_dcache_sync_range_index(va, size);
sys/arch/mips/mips/cache_r5k.c
145
mips_intern_dcache_sync_range_index(va, size);