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

  /src/sys/stand/efiboot/bootaa64/
efibootaa64.c 38 void aarch64_dcache_wbinv_range(vaddr_t, vsize_t);
45 aarch64_dcache_wbinv_range(start, size);
60 aarch64_dcache_wbinv_range(kernel_start, kernel_size);
62 aarch64_dcache_wbinv_range(fdt_start, fdt_size);
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/include/
cpufunc.h 75 void aarch64_dcache_wbinv_range(vaddr_t, vsize_t);
105 #define cpu_dcache_wbinv_range(v,s) aarch64_dcache_wbinv_range((v),(s))
  /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