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

/netbsd-6-1-5-RELEASE/sys/arch/mips/include/
H A Dcache_r3k.h48 void r3k_pdcache_wb_range(vaddr_t, vsize_t);
/netbsd-6-1-5-RELEASE/sys/arch/mips/mips/
H A Dcache_r3k.c108 r3k_pdcache_wb_range(vaddr_t va, vsize_t size) function
H A Dcache.c277 r3k_pdcache_wb_range;

Completed in 56 milliseconds