Symbol: sa1_cache_purgeD_rng
sys/arch/arm/arm/cpufunc.c
1025
.cf_dcache_wbinv_range = sa1_cache_purgeD_rng,
sys/arch/arm/arm/cpufunc.c
1026
/*XXX*/ .cf_dcache_inv_range = sa1_cache_purgeD_rng,
sys/arch/arm/arm/cpufunc.c
842
.cf_dcache_wbinv_range = sa1_cache_purgeD_rng,
sys/arch/arm/arm/cpufunc.c
843
/*XXX*/ .cf_dcache_inv_range = sa1_cache_purgeD_rng,
sys/arch/arm/arm/cpufunc.c
903
.cf_dcache_wbinv_range = sa1_cache_purgeD_rng,
sys/arch/arm/arm/cpufunc.c
904
/*XXX*/ .cf_dcache_inv_range = sa1_cache_purgeD_rng,
sys/arch/arm/include/cpufunc_proto.h
163
void sa1_cache_purgeD_rng (vaddr_t, vsize_t);