Searched refs:mco_pdcache_wbinv_range (Results 1 – 2 of 2) sorted by relevance
219 if (!mco->mco_pdcache_wbinv_range) in mips_config_cache()286 mco->mco_pdcache_wbinv_range = in mips_config_cache_prehistoric()289 (void (*)(vaddr_t, vsize_t)) mco->mco_pdcache_wbinv_range; in mips_config_cache_prehistoric()320 mco->mco_pdcache_wbinv_range = in mips_config_cache_prehistoric()354 mco->mco_pdcache_wbinv_range = in mips_config_cache_prehistoric()360 mco->mco_pdcache_wbinv_range; in mips_config_cache_prehistoric()444 mco->mco_pdcache_wbinv_range = in mips_config_cache_prehistoric()455 mco->mco_pdcache_wbinv_range = in mips_config_cache_prehistoric()516 mco->mco_pdcache_wbinv_range = in mips_config_cache_prehistoric()529 mco->mco_pdcache_wbinv_range = in mips_config_cache_prehistoric()[all …]
141 void (*mco_pdcache_wbinv_range)(register_t, vsize_t); member