diff -r 9b453f96dd46 xen/arch/x86/hvm/svm/vmcb.c
--- a/xen/arch/x86/hvm/svm/vmcb.c	Fri Jan 21 16:03:04 2011 +0000
+++ b/xen/arch/x86/hvm/svm/vmcb.c	Tue Jan 25 14:36:32 2011 +0000
@@ -280,6 +280,7 @@ int svm_create_vmcb(struct vcpu *v)
     }
 
     arch_svm->vmcb_pa = virt_to_maddr(arch_svm->vmcb);
+    arch_svm->vmcb_in_sync = 1;
 
     return 0;
 }