On 09/19/2011 04:23 AM, Alexander Graf wrote: > > On 15.09.2011, at 20:26, Scott Wood wrote: > >> However, I think it could work reasonably well to use this as the >> backing store instead of vcpu->arch.sprg4-7. The guest would still see >> inconsistency if it writes to paravirt and then reads from the hw reg >> without an intervening exit, so that restriction on use still applies, >> but qemu would see the right thing in sregs, and we wouldn't have the >> duplication. > > Yes, also guest user space would still be fine when guest kernel space writes > to the PV reg.
We'd be relying on the fact that there's always an intervening exit to do rfi without E.HV, and that the guest has direct read/write access (thus no paravirt) with E.HV. Will make a note of that in the comments. -Scott -- To unsubscribe from this list: send the line "unsubscribe kvm-ppc" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
