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

  /src/sys/arch/arm/marvell/
armadaxpvar.h 38 extern void armadaxp_sdcache_wbinv_range(vaddr_t, paddr_t, psize_t);
armadaxp.c 1065 armadaxp_sdcache_wbinv_range(vaddr_t va, paddr_t pa, psize_t sz) function in typeref:typename:void
  /src/sys/arch/arm/arm/
cpufunc.c 2904 cpufuncs.cf_sdcache_wbinv_range = armadaxp_sdcache_wbinv_range;

Completed in 42 milliseconds