Searched refs:mco_intern_pdcache_wbinv_range_index (Results 1 – 2 of 2) sorted by relevance
144 mips_cache_ops.mco_intern_pdcache_wbinv_range_index = in mips_config_cache()164 mips_cache_ops.mco_intern_pdcache_wbinv_range_index = cache_noop; in mips_config_cache()168 mips_cache_ops.mco_intern_pdcache_wbinv_range_index = in mips_config_cache()189 mips_cache_ops.mco_intern_pdcache_wbinv_range_index = in mips_config_cache()204 mips_cache_ops.mco_intern_pdcache_wbinv_range_index = in mips_config_cache()219 mips_cache_ops.mco_intern_pdcache_wbinv_range_index = in mips_config_cache()252 mips_cache_ops.mco_intern_pdcache_wbinv_range_index = in mips_config_cache()
146 void (*mco_intern_pdcache_wbinv_range_index)(vm_offset_t, vm_size_t); member