Fix a silly bug.

Signed-off-by: Steven Smith, sos22@cam.ac.uk

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 858586f76931866c099a223068f8b7ebaa178b0f..2a38f4afbcdc97ec74fa332df1db28c4921b667e 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -408,11 +408,11 @@ int arch_set_info_guest(
 
     v->arch.guest_table = mk_pagetable(phys_basetab);
 
+    got_basetab_type = 0;
     if ( shadow_mode_refcounts(d) )
     {
         if ( !get_page(pfn_to_page(phys_basetab>>PAGE_SHIFT), d) )
             return -EINVAL;
-        got_basetab_type = 0;
     }
     else if ( !(c->flags & VGCF_VMX_GUEST) )
     {