HomeSort by: relevance | last modified time | path
    Searched refs:ls2_sdcache_wbinv_range_index (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/mips/include/
cache_ls2.h 119 void ls2_sdcache_wbinv_range_index(vaddr_t, vsize_t);
  /src/sys/arch/mips/mips/
cache_ls2.c 267 ls2_sdcache_wbinv_range_index(vaddr_t va, vsize_t size) function in typeref:typename:void
305 ls2_sdcache_wbinv_range_index(0, mci->mci_sdcache_way_size);
cache.c 835 ls2_sdcache_wbinv_range_index;

Completed in 53 milliseconds