MemMMap: use modified_pages.discard instead of remove since pages may not be modified
authorJacob Lifshay <programmerjake@gmail.com>
Mon, 4 Dec 2023 10:13:52 +0000 (02:13 -0800)
committerJacob Lifshay <programmerjake@gmail.com>
Mon, 4 Dec 2023 10:13:52 +0000 (02:13 -0800)
commit4ce10d0d7b2bf89bbe41e5c7c85b831279c65cd8
tree8a99f5503317d52abde8790eb10f728667a2af9c
parent7fcc63f6e37de9d6e5e0e7aed7269c346f5f92bb
MemMMap: use modified_pages.discard instead of remove since pages may not be modified
src/openpower/decoder/isa/mem.py