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

  /src/sys/arch/mips/include/
cache_r3k.h 47 void r3k_pdcache_inv_range(register_t, vsize_t);
  /src/sys/arch/mips/mips/
cache_r3k.c 94 r3k_pdcache_inv_range(register_t va, vsize_t size) function in typeref:typename:void
cache.c 287 r3k_pdcache_inv_range;
291 r3k_pdcache_inv_range;

Completed in 15 milliseconds