Searched refs:mco_sdcache_wbinv_range (Results 1 – 2 of 2) sorted by relevance
231 if (!mco->mco_sdcache_wbinv_range) in mips_config_cache()738 mco->mco_sdcache_wbinv_range = in mips_config_cache_prehistoric()749 mco->mco_sdcache_wbinv_range = in mips_config_cache_prehistoric()760 mco->mco_sdcache_wbinv_range = in mips_config_cache_prehistoric()771 mco->mco_sdcache_wbinv_range = in mips_config_cache_prehistoric()800 mco->mco_sdcache_wbinv_range = in mips_config_cache_prehistoric()814 mco->mco_sdcache_wbinv_range = in mips_config_cache_prehistoric()832 mco->mco_sdcache_wbinv_range = in mips_config_cache_prehistoric()1546 mco->mco_sdcache_wbinv_range = no_cache_op_range; in mips_config_cache_modern()
156 void (*mco_sdcache_wbinv_range)(register_t, vsize_t); member