Symbol: armv7_dcache_wbinv_range
sys/arch/arm/arm/cpufunc.c
1148
.cf_dcache_wbinv_range = armv7_dcache_wbinv_range,
sys/arch/arm/arm/cpufunc.c
1210
.cf_dcache_wbinv_range = armv7_dcache_wbinv_range,
sys/arch/arm/include/cpufunc_proto.h
294
void armv7_dcache_wbinv_range(vaddr_t, vsize_t);
sys/stand/efiboot/bootarm/efibootarm.c
37
void armv7_dcache_wbinv_range(vaddr_t, vsize_t);
sys/stand/efiboot/bootarm/efibootarm.c
45
armv7_dcache_wbinv_range(start, size);