Searched refs:mco_sdcache_wbinv_range (Results 1 – 2 of 2) sorted by relevance
293 mips_cache_ops.mco_sdcache_wbinv_range = in mips_config_cache()305 mips_cache_ops.mco_sdcache_wbinv_range = in mips_config_cache()317 mips_cache_ops.mco_sdcache_wbinv_range = in mips_config_cache()
150 void (*mco_sdcache_wbinv_range)(vm_offset_t, vm_size_t); member