On Wed, Jun 23, 2021, Paolo Bonzini wrote: > On 22/06/21 19:57, Sean Christopherson wrote: > > Move calls to reset_rsvds_bits_mask() out of the various mode statements > > and under a more generic !CR0.PG check > > CR0.PG=1, not =0. It's always some mundane detail!