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>
Wed, 13 Dec 2023 09:34:40 +0000 (09:34 +0000)
commitb81986476c4f62dc1ff25cd92e3f325027c4b582
treebe1b7e6e701f6306db659e929b5233f43190298c
parentd05c7d591e3dee0d63febb1c418c9f920287dd27
MemMMap: use modified_pages.discard instead of remove since pages may not be modified
src/openpower/decoder/isa/mem.py