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

  /src/sys/arch/powerpc/booke/
booke_cache.c 115 dcache_wbinv_page(vaddr_t va) function in typeref:typename:void
  /src/sys/arch/powerpc/ibm4xx/
cpu.c 342 dcache_wbinv_page(vaddr_t va) function in typeref:typename:void
pmap.c 700 dcache_wbinv_page(dst);
  /src/sys/arch/powerpc/include/
cpu.h 393 void dcache_wbinv_page(vaddr_t);

Completed in 13 milliseconds