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

  /src/sys/arch/aarch64/include/
cpufunc.h 74 void aarch64_idcache_wbinv_range(vaddr_t, vsize_t);
108 #define cpu_idcache_wbinv_range(v,s) aarch64_idcache_wbinv_range((v),(s))
  /src/sys/arch/aarch64/aarch64/
cpufunc_asm_armv8.S 123 * void aarch64_idcache_wbinv_range(vaddr_t, vsize_t)
125 ENTRY(aarch64_idcache_wbinv_range) function
128 END(aarch64_idcache_wbinv_range)

Completed in 12 milliseconds