Symbol: sheeva_sdcache_inv_range
sys/arch/arm/arm/cpufunc.c
3537
cpufuncs.cf_sdcache_inv_range = sheeva_sdcache_inv_range;
sys/arch/arm/include/cpufunc_proto.h
414
void sheeva_sdcache_inv_range(vaddr_t, paddr_t, vsize_t);