Symbol: mips_intern_sdcache_wbinv_range_index
sys/arch/mips/mips/cache_mipsNN.c
216
mips_intern_sdcache_wbinv_range_index(MIPS_KSEG0_START,
sys/arch/mips/mips/cache_mipsNN.c
227
mips_intern_sdcache_wbinv_range_index(va, size);
sys/arch/mips/mips/cache_mipsNN.c
96
mips_intern_sdcache_wbinv_range_index(MIPS_KSEG0_START,
sys/arch/mips/mips/cache_r4k.c
101
mips_intern_sdcache_wbinv_range_index(MIPS_PHYS_TO_KSEG0(0),