source: trunk/IPs/systemC/Environment/Cache/src/Cache_reset.cpp @ 80

#include "../include/Cache.h"

namespace environment {
namespace cache {

  void Cache::reset (void)
  {
    for (uint32_t i=0; i<param->nb_cache_dedicated; i++)
      {
        icache_dedicated[i]->reset();
        dcache_dedicated[i]->reset();
      }
    
    cache_shared->reset();
  }

};
};