On 10/15/18 9:32 AM, Andrew Cooper wrote:
> 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 *
>


Ah, OK, thanks.

Reviewed-by: Boris Ostrovsky <boris.ostrov...@oracle.com>

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to