armv5_ec_idcache_wbinv_range - NetBSD

Symbol: armv5_ec_idcache_wbinv_range

sys/arch/arm/arm/cpufunc.c

.cf_idcache_wbinv_range = armv5_ec_idcache_wbinv_range,

sys/arch/arm/include/cpufunc_proto.h

void armv5_ec_idcache_wbinv_range (vaddr_t, vsize_t);