We need to make `dummy_{shadow,origin}_load_page` read-only and `dummy_{shadow,origin}_store_page` write-only to make sure they are used correctly.
We need to make
dummy_{shadow,origin}_load_pageread-only anddummy_{shadow,origin}_store_pagewrite-only to make sure they are used correctly.