On 03/08/2017 16:09, David Hildenbrand wrote: > - vmx->nested.virtual_apic_page = > - nested_get_page(vcpu, vmcs12->virtual_apic_page_addr); > + page = kvm_vcpu_gpa_to_page(vcpu, vmcs12->apic_access_addr); Ouch, I missed this. :( Thanks Wanpeng for the quick fix. Paolo