diff --git a/xen/arch/x86/hvm/hvm.c b/xen/arch/x86/hvm/hvm.c
index 561e30d15b..fcf8d43ff9 100644
--- a/xen/arch/x86/hvm/hvm.c
+++ b/xen/arch/x86/hvm/hvm.c
@@ -662,8 +662,9 @@ static int hvm_load_cpu_ctxt(struct domain *d, hvm_domain_context_t *h)
     v->fpu_initialised = 1;
 
     /* Auxiliary processors should be woken immediately. */
-    if ( test_and_clear_bit(_VPF_down, &v->pause_flags) )
-        vcpu_wake(v);
+    v->is_initialised = 1;
+    clear_bit(_VPF_down, &v->pause_flags);
+    vcpu_wake(v);
 
     return 0;
 }