Another domctl fix to insert missing copy_to_guest.

Signed-off-by: Gerd Hoffmann <kraxel@suse.de>

diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c
index 2f06d73cb1b083c9620b2bbcc99984fc48fe8510..69e2259d7f26e39fcb4bc55c67bc0f3980b1ce9f 100644 (file)
--- a/xen/arch/x86/domctl.c
+++ b/xen/arch/x86/domctl.c
@@ -412,6 +412,9 @@ long arch_do_domctl(
 
         ret = 0;
         put_domain(d);
+
+        if ( copy_to_guest(u_domctl, domctl, 1) )
+            ret = -EFAULT;
     }
     break;