On Fri, Feb 21, 2014 at 10:46:59PM -0800, Russ Dill wrote:
If there is worry about this, you could setup a page mapping in a __nosave region, preventing it from being overwritten.
Why would we need _another_ set of pages tables? Aren't two (swapper_pg_dir and the idmap one) enough?
You do need to switch to the idmap one if you're going to call cpu_resume at its physical address, because that requires the identity mapping in order to work.