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

  /src/sys/stand/efiboot/bootaa64/
cache.S 86 * void aarch64_dcache_wbinv_range(vaddr_t, vsize_t)
88 ENTRY(aarch64_dcache_wbinv_range) function
90 END(aarch64_dcache_wbinv_range)
  /src/sys/arch/aarch64/aarch64/
cpufunc_asm_armv8.S 104 * void aarch64_dcache_wbinv_range(vaddr_t, vsize_t)
106 ENTRY(aarch64_dcache_wbinv_range) function
109 END(aarch64_dcache_wbinv_range)

Completed in 12 milliseconds