Searched refs:mco_sdcache_wbinv_range_index (Results 1 - 2 of 2) sorted by relevance

/netbsd-current/sys/arch/mips/mips/
H A Dcache.c233 if (!mco->mco_sdcache_wbinv_range_index)
740 mco->mco_sdcache_wbinv_range_index =
751 mco->mco_sdcache_wbinv_range_index =
762 mco->mco_sdcache_wbinv_range_index =
773 mco->mco_sdcache_wbinv_range_index =
802 mco->mco_sdcache_wbinv_range_index =
816 mco->mco_sdcache_wbinv_range_index =
834 mco->mco_sdcache_wbinv_range_index =
1547 mco->mco_sdcache_wbinv_range_index = no_cache_op_range_index;
/netbsd-current/sys/arch/mips/include/
H A Dcache.h151 void (*mco_sdcache_wbinv_range_index)(vaddr_t, vsize_t); member in struct:mips_cache_ops

Completed in 52 milliseconds