Hubertus Franke wrote: > But another trouble you have not mentioned is what happens to pages > with pending make-volatile that need to and/or have been made stable > in the meantime. They too need to be removed from this pending list. At the time where you walk the set of pages (pagevec?) to make volatile, you can check whether the page flags are still right. A page that was set to be marked volatile with the hypervisor, but later turned stable again would have that indicated in its page flags, right? -- What is important? What you want to be true, or what is true?
