Symbol: r5k_picache_sync_range
sys/arch/mips/include/cache_r5k.h
41
void r5k_picache_sync_range(register_t, vsize_t);
sys/arch/mips/mips/cache.c
491
mco->mco_icache_sync_range = r5k_picache_sync_range;