ia64/xen-unstable

changeset 8091:2eb868d02f0f

Simplify boot_vcpu() implementation.

Signed-off-by: Tony Breeds <tony@bakeyournoodle.com>
author kaf24@firebug.cl.cam.ac.uk
date Mon Nov 28 13:39:22 2005 +0100 (2005-11-28)
parents a20a9ec0e510
children 367b9ca30e88
files xen/common/domain.c
line diff
     1.1 --- a/xen/common/domain.c	Mon Nov 28 11:05:07 2005 +0000
     1.2 +++ b/xen/common/domain.c	Mon Nov 28 13:39:22 2005 +0100
     1.3 @@ -376,14 +376,10 @@ int set_info_guest(struct domain *d, dom
     1.4  int boot_vcpu(struct domain *d, int vcpuid, struct vcpu_guest_context *ctxt) 
     1.5  {
     1.6      struct vcpu *v = d->vcpu[vcpuid];
     1.7 -    int rc;
     1.8  
     1.9      BUG_ON(test_bit(_VCPUF_initialised, &v->vcpu_flags));
    1.10  
    1.11 -    if ( (rc = arch_set_info_guest(v, ctxt)) != 0 )
    1.12 -        return rc;
    1.13 -
    1.14 -    return rc;
    1.15 +    return arch_set_info_guest(v, ctxt);
    1.16  }
    1.17  
    1.18  long do_vcpu_op(int cmd, int vcpuid, void *arg)