void flush_cache (unsigned long addr, unsigned long size) { dcache_invalid_range( addr , addr + size ); }
static inline void _dcache_inv_range_for_net(unsigned startAddr, unsigned endAddr) { dcache_flush_range(startAddr,endAddr-startAddr+1); dcache_invalid_range(startAddr,endAddr-startAddr+1); return; }