Symbol: octeon_icache_sync_range_index
sys/arch/mips/include/cache_octeon.h
78
void octeon_icache_sync_range_index(vaddr_t va, vsize_t size);
sys/arch/mips/mips/cache.c
1543
octeon_icache_sync_range_index;