On Fri, Apr 23, 2021 at 5:54 PM Sean Christopherson <seanjc@xxxxxxxxxx> wrote: > > Drop direct writes to vmcb->save.cr4 during vCPU RESET/INIT, as the > values being written are fully redundant with respect to > svm_set_cr4(vcpu, 0) a few lines earlier. Note, svm_set_cr4() also > correctly forces X86_CR4_PAE when NPT is disabled. > > No functional change intended. > > Signed-off-by: Sean Christopherson <seanjc@xxxxxxxxxx> Reviewed-by: Reiji Watanabe <reijiw@xxxxxxxxxx>