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>
Wed, 13 Dec 2023 00:59:12 +0000 (16:59 -0800)
commitad3f14fa770ab9240e1cb0287cc2997d4612a5ad
treebe1b7e6e701f6306db659e929b5233f43190298c
parentffaaa6a3e0a24cbd263ccc35e4fe47710b531326
MemMMap: use modified_pages.discard instead of remove since pages may not be modified
src/openpower/decoder/isa/mem.py