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

  /src/sys/stand/efiboot/bootarm/
cache.S 34 /* LINTSTUB: void armv7_dcache_wbinv_range(vaddr_t, vsize_t); */
35 ENTRY(armv7_dcache_wbinv_range) function
54 END(armv7_dcache_wbinv_range)
  /src/sys/arch/arm/arm/
cpufunc_asm_armv7.S 241 /* LINTSTUB: void armv7_dcache_wbinv_range(vaddr_t, vsize_t); */
242 ENTRY(armv7_dcache_wbinv_range) function
261 END(armv7_dcache_wbinv_range)

Completed in 12 milliseconds