On 20/06/16 12:31, Jan Beulich wrote: > All host_msr_state accesses are solely on the owning CPU, and all > guest_msr_state ones solely when the vCPU is current or being switched > to. This, btw, is also in line with the use of find_first_set_bit() > (which would be bogus if ->flags could get updated behind its back). > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com>
_______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
