Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

    Searched refs:r5k_pdcache_wbinv_range_index (Results 1 - 3 of 3) sorted by relevancy

/src/sys/arch/mips/include/
cache_r5k.h	45 void r5k_pdcache_wbinv_range_index(vaddr_t, vsize_t);
/src/sys/arch/mips/mips/
cache_r5k.c	166 r5k_pdcache_wbinv_range_index(vaddr_t va, vsize_t size) function in typeref:typename:void
cache.c	512 r5k_pdcache_wbinv_range_index; 523 /* used internally by r5k_pdcache_wbinv_range_index */ 536 /* used internally by r5k_pdcache_wbinv_range_index */

Completed in 13 milliseconds

Indexes created Sat Oct 11 16:09:52 GMT 2025