Symbol: r4k_sdcache_wbinv_all
sys/arch/ews4800mips/stand/common/loader.c
123
r4k_sdcache_wbinv_all(SD_CACHE_SIZE, SD_CACHE_LINESIZE);
sys/arch/ews4800mips/stand/common/loader.c
151
r4k_sdcache_wbinv_all(SD_CACHE_SIZE, SD_CACHE_LINESIZE);
sys/arch/ews4800mips/stand/common/loader.c
211
r4k_sdcache_wbinv_all(SD_CACHE_SIZE, SD_CACHE_LINESIZE);
sys/arch/ews4800mips/stand/common/loader.c
44
void r4k_sdcache_wbinv_all(uint32_t, int);