On Fri, May 29, 2020 at 10:41:58AM -0700, Krish Sadhukhan wrote: > > On 5/29/20 8:39 AM, Paolo Bonzini wrote: > >svm_load_mmu_pgd is delaying the write of GUEST_CR3 to prepare_vmcs02 > > Did you mean to say enter_svm_guest_mode here ? Heh, looks like Vitaly passed the s/vmcs/vmcb bug on to Paolo, too. :-D