On Fri, Feb 16, 2018 at 6:18 AM, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > Uhm, taking contents from the hardware is wrong (guess why---live > migration). I'll send a revert of those two lines. Hardware seems like a reasonable place to get the default value (cf. the VMX capability MSRs). Should these two lines just be moved to vmx_create_cpu?