Home
last modified time | relevance | path

Searched refs:mco_intern_sdcache_wbinv_range_index (Results 1 – 2 of 2) sorted by relevance

/dports/misc/rump/buildrump.sh-b914579/src/sys/arch/mips/include/
H A Dcache.h161 void (*mco_intern_sdcache_wbinv_range_index)(vaddr_t, vsize_t); member
309 (*mips_cache_ops.mco_intern_sdcache_wbinv_range_index)((v), (s))
/dports/misc/rump/buildrump.sh-b914579/src/sys/arch/mips/mips/
H A Dcache.c153 .mco_intern_sdcache_wbinv_range_index = no_cache_op_range_index,