*/
long set_debugreg(struct vcpu *v, unsigned int reg, unsigned long value)
{
- int i;
struct vcpu *curr = current;
switch ( reg )
{
- case 0:
- if ( !access_ok(value, sizeof(long)) )
- return -EPERM;
- if ( v == curr )
- write_debugreg(0, value);
- break;
- case 1:
- if ( !access_ok(value, sizeof(long)) )
- return -EPERM;
- if ( v == curr )
- write_debugreg(1, value);
- break;
- case 2:
- if ( !access_ok(value, sizeof(long)) )
- return -EPERM;
- if ( v == curr )
- write_debugreg(2, value);
- break;
- case 3:
+ case 0 ... 3:
if ( !access_ok(value, sizeof(long)) )
return -EPERM;
+
if ( v == curr )
- write_debugreg(3, value);
+ {
+ switch ( reg )
+ {
+ case 0: write_debugreg(0, value); break;
+ case 1: write_debugreg(1, value); break;
+ case 2: write_debugreg(2, value); break;
+ case 3: write_debugreg(3, value); break;
+ }
+ }
break;
case 4:
/* DR7.{G,L}E = 0 => debugging disabled for this domain. */
if ( value & DR7_ACTIVE_MASK )
{
- unsigned int io_enable = 0;
+ unsigned int i, io_enable = 0;
for ( i = DR_CONTROL_SHIFT; i < 32; i += DR_CONTROL_SIZE )
{
if ( v == curr )
write_debugreg(7, value);
break;
+
default:
return -ENODEV;
}