1007c1007
< blk->status |= (BlkValid | BlkReadable);
---
> blk->status |= BlkReadable;
1065c1065
< blk->status |= (BlkValid | BlkReadable);
---
> blk->status |= BlkReadable;
1152d1151
< assert(!tempBlock->isValid());
1158,1160d1156
<
< // we should never be overwriting a valid block
< assert(!blk->isValid());
1163,1166d1158
< assert(regenerateBlkAddr(blk) == addr);
< assert(blk->isSecure() == is_secure);
< // either we're getting new data or the block should already be valid
< assert(pkt->hasData() || blk->isValid());
1171c1163,1166
< blk->status |= BlkValid | BlkReadable;
---
> // Block is guaranteed to be valid at this point
> assert(blk->isValid());
> assert(blk->isSecure() == is_secure);
> assert(regenerateBlkAddr(blk) == addr);
1172a1168,1169
> blk->status |= BlkReadable;
>