# HG changeset patch
# User Tim Deegan <Tim.Deegan@citrix.com>
# Date 1300122058 0
# Node ID ee088a0b5cb89793da67abb3cc389f42247bba98
# Parent  b024d5ecc1943c0d74bfc04cb440ea96159e429b
x86_64: fix error checking in arch_set_info_guest()

Cannot specify user mode execution without specifying user-mode
pagetables.

Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
xen-unstable changeset:   23034:c79aae866ad8
xen-unstable date:        Mon Mar 14 16:59:49 2011 +0000

diff -r b024d5ecc194 -r ee088a0b5cb8 xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c	Mon Mar 14 16:58:08 2011 +0000
+++ b/xen/arch/x86/domain.c	Mon Mar 14 17:00:58 2011 +0000
@@ -780,6 +780,11 @@
 
             v->arch.guest_table_user = pagetable_from_pfn(cr3_pfn);
         }
+        else if ( !(flags & VGCF_in_kernel) )
+        {
+            destroy_gdt(v);
+            return -EINVAL;
+        }
     }
     else
     {
