Home
last modified time | relevance | path

Searched refs:mipsNN_pdcache_wbinv_range_index (Results 1 – 3 of 3) sorted by relevance

/dports/misc/rump/buildrump.sh-b914579/src/sys/arch/mips/include/
H A Dcache_mipsNN.h48 void mipsNN_pdcache_wbinv_range_index(vaddr_t, vsize_t);
/dports/misc/rump/buildrump.sh-b914579/src/sys/arch/mips/mips/
H A Dcache_mipsNN.c148 mipsNN_pdcache_wbinv_range_index(vaddr_t va, vsize_t size) in mipsNN_pdcache_wbinv_range_index() function
H A Dcache.c1236 mco->mco_pdcache_wbinv_range_index = mipsNN_pdcache_wbinv_range_index; in mips_config_cache_modern()