On 10/15/18 6:36 AM, Andrew Cooper wrote: > > @@ -567,7 +573,10 @@ struct arch_vcpu > void *fpu_ctxt; > unsigned long vgc_flags; > struct cpu_user_regs user_regs; > - unsigned long debugreg[8]; > + > + /* Debug registers. */ > + unsigned long dr[4], dr7; > + unsigned int dr6;
Why are dr6 and dr7 different types? They are both MBZ in upper bits in 64-bit mode, aren't they? -boris _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
