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)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 22 Dec 2023 19:26:22 +0000 (19:26 +0000)
commit2acd64ecc5fc8fc0412bb6af2c3f9f6ca3d89b58
treebe1b7e6e701f6306db659e929b5233f43190298c
parentbb639fccbaef64c155b2487b6694d2a40e69b86b
MemMMap: use modified_pages.discard instead of remove since pages may not be modified
src/openpower/decoder/isa/mem.py