>>> On 13.04.18 at 13:37, wrote:
> On 13/04/18 09:39, Jan Beulich wrote:
> On 12.04.18 at 18:55, wrote:
>>> @@ -2029,7 +2035,17 @@ long set_debugreg(struct vcpu *v, unsigned int reg,
> unsigned long value)
>>> if ( v == curr )
On 13/04/18 09:39, Jan Beulich wrote:
On 12.04.18 at 18:55, wrote:
>> @@ -2029,7 +2035,17 @@ long set_debugreg(struct vcpu *v, unsigned int reg,
>> unsigned long value)
>> if ( v == curr )
>> write_debugreg(3, value);
>> break;
>> +
>>> On 12.04.18 at 18:55, wrote:
> @@ -2029,7 +2035,17 @@ long set_debugreg(struct vcpu *v, unsigned int reg,
> unsigned long value)
> if ( v == curr )
> write_debugreg(3, value);
> break;
> +
> +case 4:
> +if (