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

  /src/sys/arch/powerpc/booke/
booke_cache.c 121 dcache_inv_page(vaddr_t va) function in typeref:typename:void
  /src/sys/arch/powerpc/include/
cpu.h 394 void dcache_inv_page(vaddr_t);

Completed in 65 milliseconds