Searched refs:r3k_pdcache_inv_range (Results 1 - 3 of 3) sorted by relevance

/netbsd-current/sys/arch/mips/include/
H A Dcache_r3k.h47 void r3k_pdcache_inv_range(register_t, vsize_t);
/netbsd-current/sys/arch/mips/mips/
H A Dcache_r3k.c94 r3k_pdcache_inv_range(register_t va, vsize_t size) function
H A Dcache.c287 r3k_pdcache_inv_range;
291 r3k_pdcache_inv_range;

Completed in 80 milliseconds