>>> On 02.03.18 at 09:13, <jgr...@suse.com> wrote: > @@ -509,9 +510,16 @@ void make_cr3(struct vcpu *v, mfn_t mfn) > > void write_ptbase(struct vcpu *v) > { > - get_cpu_info()->root_pgt_changed = this_cpu(root_pgt) && is_pv_vcpu(v) && > - !is_pv_32bit_vcpu(v); > - write_cr3(v->arch.cr3); > + if ( this_cpu(root_pgt) && is_pv_vcpu(v) && !is_pv_32bit_vcpu(v) ) > + { > + get_cpu_info()->root_pgt_changed = true; > + asm volatile ( "mov %0, %%cr3" : : "r" (v->arch.cr3) : "memory" ); > + } > + else > + { > + get_cpu_info()->root_pgt_changed = false;
Is this write really necessary? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel