1a2
> * Copyright (c) 2018 Inria
41a43
> * Daniel Carvalho
112a115,121
> // Erase block entry reference in the hash table
> auto num_erased = tagHash.erase(std::make_pair(blk->tag, blk->isSecure()));
>
> // Sanity check; only one block reference should be erased
> assert(num_erased == 1);
>
> // Invalidate block entry. Must be done after the hash is erased
120,122d128
<
< // Erase block entry in the hash table
< tagHash.erase(std::make_pair(blk->tag, blk->isSecure()));