Home	Sort by: relevance | last modified time | path

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

    Searched refs:mipsNN_sdcache_wbinv_range_index (Results 1 - 2 of 2) sorted by relevancy

/src/sys/arch/mips/include/
cache_mipsNN.h	51 void mipsNN_sdcache_wbinv_range_index(vaddr_t, vsize_t);
/src/sys/arch/mips/mips/
cache_mipsNN.c	191 mipsNN_sdcache_wbinv_range_index(vaddr_t va, vsize_t size)

Completed in 35 milliseconds

Indexes created Fri Oct 03 02:09:57 GMT 2025