Jeremy Fitzhardinge wrote: >> With stable_if_clean you are refering to stable_if_present? > > No. I misunderstood and thought that stable_if_present sets the Px > state. I'd overlooked the writable flag on page_set_volatile(). > >> If yes the >> answer is that this operation is used to get a page from Vx/Px back to >> Sx but only if the page has not been discarded. > > So you mean it will change Vr/Pr to Sr but everything else will fail? Well presumably Vp/Pr => Sp? Is is true that from the guest's perspective, all of the 'p' states are identical to the 'r' states? Do the host states even really need visibility to the guest at all? It may be useful for the guest to be able to distinguish between Ur and Uz but it doesn't seem necessary. BTW Jeremy, the .dot was very useful! Regards, Anthony Liguori _______________________________________________ Virtualization mailing list Virtualization@xxxxxxxxxxxxxxxxxxxxxxxxxx https://lists.linux-foundation.org/mailman/listinfo/virtualization