Signed-off-by: Jan Beulich <jbeulich@xxxxxxxxxx>

--- 2010-02-19.orig/xen/arch/x86/domctl.c	2010-01-21 20:06:17.000000000 +0100
+++ 2010-02-19/xen/arch/x86/domctl.c	2010-02-26 11:27:57.000000000 +0100
@@ -194,7 +194,8 @@ long arch_do_domctl(
 
             for ( n = ret = 0; n < num; )
             {
-                unsigned int k = min_t(unsigned int, num - n, PAGE_SIZE / 4);
+                unsigned int k = min_t(unsigned int, num - n,
+                                       PAGE_SIZE / sizeof(*arr));
 
                 if ( copy_from_guest_offset(arr,
                                             domctl->u.getpageframeinfo3.array,