Simplify boot_vcpu() implementation.

Signed-off-by: Tony Breeds <tony@bakeyournoodle.com>

xen/common/domain.c

@@ -376,14 +376,10 @@ int set_info_guest(struct domain *d, dom0_setdomaininfo_t *setdomaininfo)
 int boot_vcpu(struct domain *d, int vcpuid, struct vcpu_guest_context *ctxt) 
 {
     struct vcpu *v = d->vcpu[vcpuid];
-    int rc;
 
     BUG_ON(test_bit(_VCPUF_initialised, &v->vcpu_flags));
 
-    if ( (rc = arch_set_info_guest(v, ctxt)) != 0 )
-        return rc;
-
-    return rc;
+    return arch_set_info_guest(v, ctxt);
 }
 
 long do_vcpu_op(int cmd, int vcpuid, void *arg)