Symbol: mips_icache_sync_range_index
sys/arch/mips/mips/pmap_machdep.c
593
mips_icache_sync_range_index((intptr_t)va, len);
sys/arch/mips/mips/pmap_machdep.c
825
mips_icache_sync_range_index(va, len);