Re: [RFC] concurrent guest walker and instruction emulation

Marcelo Tosatti
2007-12-18T13:39:12Z

On Tue, Dec 18, 2007 at 08:26:14AM -0500, Marcelo Tosatti wrote:

> + page = __gfn_to_page(vcpu->kvm, gpa >> PAGE_SHIFT);
> + spin_lock(&vcpu->kvm->mmu_lock);
> kvm_mmu_pte_write(vcpu, gpa, val, bytes);

This should be the gfn which the new pte points to, not its address.