Searched refs:r4k_sdcache_wbinv_all (Results 1 – 1 of 1) sorted by relevance
44 void r4k_sdcache_wbinv_all(uint32_t, int);123 r4k_sdcache_wbinv_all(SD_CACHE_SIZE, SD_CACHE_LINESIZE); in cmd_load_binary()151 r4k_sdcache_wbinv_all(SD_CACHE_SIZE, SD_CACHE_LINESIZE); in cmd_boot_ux()211 r4k_sdcache_wbinv_all(SD_CACHE_SIZE, SD_CACHE_LINESIZE); in cmd_boot()263 r4k_sdcache_wbinv_all(uint32_t sdcache_size, int line_size) in r4k_sdcache_wbinv_all() function