arm: mark vcpus as initialised when they have been

I noticed this because XEN_DOMCTL_getvcpucontext won't return anything for a
VCPU which isn't initialised.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>

xen/arch/arm/domain.c

@@ -556,6 +556,8 @@ int arch_set_info_guest(
     v->arch.ttbr1 = ctxt->ttbr1;
     v->arch.ttbcr = ctxt->ttbcr;
 
+    v->is_initialised = 1;
+
     if ( ctxt->flags & VGCF_online )
         clear_bit(_VPF_down, &v->pause_flags);
     else

xen/arch/arm/domain_build.c

@@ -412,6 +412,7 @@ int construct_dom0(struct domain *d)
 
     discard_initial_modules();
 
+    v->is_initialised = 1;
     clear_bit(_VPF_down, &v->pause_flags);
 
     memset(regs, 0, sizeof(*regs));