Another domctl fix to insert missing copy_to_guest.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 14 Feb 2007 15:54:47 +0000 (15:54 +0000)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 14 Feb 2007 15:54:47 +0000 (15:54 +0000)
Signed-off-by: Gerd Hoffmann <kraxel@suse.de>
xen/arch/x86/domctl.c

index 2f06d73cb1b083c9620b2bbcc99984fc48fe8510..69e2259d7f26e39fcb4bc55c67bc0f3980b1ce9f 100644 (file)
@@ -412,6 +412,9 @@ long arch_do_domctl(
 
         ret = 0;
         put_domain(d);
+
+        if ( copy_to_guest(u_domctl, domctl, 1) )
+            ret = -EFAULT;
     }
     break;