Home	Sort by: relevance | last modified time | path

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

    Searched defs:r10k_pdcache_wbinv_range_index (Results 1 - 4 of 4) sorted by relevancy

/src/sys/arch/mips/mips/
cache_r10k.c	187 r10k_pdcache_wbinv_range_index(vaddr_t va, vsize_t size) function in typeref:typename:void
cache_r10k.c	187 r10k_pdcache_wbinv_range_index(vaddr_t va, vsize_t size) function in typeref:typename:void
cache_r10k.c	187 r10k_pdcache_wbinv_range_index(vaddr_t va, vsize_t size) function in typeref:typename:void
cache_r10k.c	187 r10k_pdcache_wbinv_range_index(vaddr_t va, vsize_t size) function in typeref:typename:void

Completed in 40 milliseconds

Indexes created Wed Oct 01 15:09:59 GMT 2025