HomeSort by: relevance | last modified time | path
    Searched defs:r10k_sdcache_wbinv_range_index (Results 1 - 2 of 2) sorted by relevancy

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

Completed in 129 milliseconds