Symbol: r5k_sdcache_wbinv_range
sys/arch/mips/include/cache_r5k.h
58
void r5k_sdcache_wbinv_range(register_t, vsize_t);
sys/arch/mips/mips/cache.c
801
r5k_sdcache_wbinv_range;
sys/arch/mips/mips/cache.c
805
r5k_sdcache_wbinv_range;
sys/arch/mips/mips/cache_r5k.c
414
r5k_sdcache_wbinv_range(MIPS_PHYS_TO_KSEG0(0), mips_cache_info.mci_sdcache_size);
sys/arch/mips/mips/cache_r5k.c
428
r5k_sdcache_wbinv_range((intptr_t)va, size);