Searched refs:mco_sdcache_wbinv_range_index (Results 1 – 2 of 2) sorted by relevance
233 if (!mco->mco_sdcache_wbinv_range_index) in mips_config_cache()740 mco->mco_sdcache_wbinv_range_index = in mips_config_cache_prehistoric()751 mco->mco_sdcache_wbinv_range_index = in mips_config_cache_prehistoric()762 mco->mco_sdcache_wbinv_range_index = in mips_config_cache_prehistoric()773 mco->mco_sdcache_wbinv_range_index = in mips_config_cache_prehistoric()802 mco->mco_sdcache_wbinv_range_index = in mips_config_cache_prehistoric()816 mco->mco_sdcache_wbinv_range_index = in mips_config_cache_prehistoric()834 mco->mco_sdcache_wbinv_range_index = in mips_config_cache_prehistoric()1547 mco->mco_sdcache_wbinv_range_index = no_cache_op_range_index; in mips_config_cache_modern()
157 void (*mco_sdcache_wbinv_range_index)(vaddr_t, vsize_t); member