On 15/10/18 14:28, Boris Ostrovsky wrote: > 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?
Correct. They should both be 32 bits wide, but __vmread() needs to take dr7 by unsigned long * ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel