Home
last modified time | relevance | path

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

/dports/misc/rump/buildrump.sh-b914579/src/sys/arch/mips/include/
H A Dcache_r10k.h81 void r10k_sdcache_wbinv_range(register_t, vsize_t);
/dports/misc/rump/buildrump.sh-b914579/src/sys/arch/mips/mips/
H A Dcache_r10k.c261 r10k_sdcache_wbinv_range(register_t va, vsize_t size) in r10k_sdcache_wbinv_range() function
H A Dcache.c807 r10k_sdcache_wbinv_range; in mips_config_cache_prehistoric()