Home
last modified time | relevance | path

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

/netbsd/src/sys/arch/mips/include/
Dcache_r10k.h83 void r10k_sdcache_inv_range(register_t, vsize_t);
/netbsd/src/sys/arch/mips/mips/
Dcache_r10k.c302 r10k_sdcache_inv_range(register_t va, vsize_t size) in r10k_sdcache_inv_range() function
Dcache.c819 r10k_sdcache_inv_range; in mips_config_cache_prehistoric()