Searched refs:armv6_dcache_wbinv_range (Results 1 - 3 of 3) sorted by relevance

/freebsd-10-stable/sys/arm/arm/
H A Dcpufunc_asm_armv6.S96 /* LINTSTUB: void armv6_dcache_wbinv_range(vaddr_t, vsize_t); */
97 ENTRY(armv6_dcache_wbinv_range) function
103 END(armv6_dcache_wbinv_range)
H A Dcpufunc.c655 armv6_dcache_wbinv_range, /* dcache_wbinv_range */
718 armv6_dcache_wbinv_range, /* dcache_wbinv_range */
/freebsd-10-stable/sys/arm/include/
H A Dcpufunc.h405 void armv6_dcache_wbinv_range (vm_offset_t, vm_size_t);

Completed in 56 milliseconds