At 01:45 -0700 on 13 Dec (1481593536), Jan Beulich wrote: > > --- a/xen/arch/x86/mm/shadow/common.c > > +++ b/xen/arch/x86/mm/shadow/common.c > > @@ -1779,7 +1779,7 @@ void *sh_emulate_map_dest(struct vcpu *v > > #ifndef NDEBUG > > /* We don't emulate user-mode writes to page tables. */ > > if ( has_hvm_container_domain(d) > > - ? hvm_get_seg_reg(x86_seg_ss, sh_ctxt)->attr.fields.dpl == 3 > > + ? hvm_get_cpl(v) == 3 > > : !guest_kernel_mode(v, guest_cpu_user_regs()) ) > > { > > gdprintk(XENLOG_DEBUG, "User-mode write to pagetable reached " > > Tim, how about this one?
Sorry, didn't see that there. Acked-by: Tim Deegan <t...@xen.org> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel