Searched refs:mco_sdcache_wbinv_range_index (Results 1 – 2 of 2) sorted by relevance
295 mips_cache_ops.mco_sdcache_wbinv_range_index = in mips_config_cache()307 mips_cache_ops.mco_sdcache_wbinv_range_index = in mips_config_cache()319 mips_cache_ops.mco_sdcache_wbinv_range_index = in mips_config_cache()
151 void (*mco_sdcache_wbinv_range_index)(vm_offset_t, vm_size_t); member