>>> On 17.05.18 at 13:46, <andrew.coop...@citrix.com> wrote:
> Nothing good will come of trying to formally support different MSR
> capabilities on different vcpus, because you won't find any hardware
> where you can do this in practice.
I agree, but it's not really clear to me how you want to enforce identical
values yet at the same time allow save (or really load) records to define
the number of ranges (which currently is broken). Perhaps we could
refuse to launch/unpause a guest when there are inconsistencies.
Xen-devel mailing list