Home	Sort by: relevance | last modified time | path

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

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

/src/sys/arch/mips/include/
cache_mipsNN.h	48 void mipsNN_pdcache_wbinv_range_index(vaddr_t, vsize_t);
/src/sys/arch/mips/mips/
cache_mipsNN.c	148 mipsNN_pdcache_wbinv_range_index(vaddr_t va, vsize_t size)
cache.c	1201 mco->mco_pdcache_wbinv_range_index = mipsNN_pdcache_wbinv_range_index; 1221 /* used internally by mipsNN_pdcache_wbinv_range_index */ 1233 /* used internally by mipsNN_pdcache_wbinv_range_index */ 1245 /* used internally by mipsNN_pdcache_wbinv_range_index */ 1256 /* used internally by mipsNN_pdcache_wbinv_range_index */

Completed in 77 milliseconds

Indexes created Thu Oct 02 01:09:59 GMT 2025