Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
xen-unstable changeset: 19764:
775afcdc2759
xen-unstable date: Tue Jun 16 13:33:12 2009 +0100
vc = &v->arch.guest_context;
/* Need to init this vcpu before loading its contents */
+ rc = 0;
domain_lock(d);
if ( !v->is_initialised )
- if ( (rc = boot_vcpu(d, vcpuid, vc)) != 0 )
- return rc;
+ rc = boot_vcpu(d, vcpuid, vc);
domain_unlock(d);
+ if ( rc != 0 )
+ return rc;
if ( hvm_load_entry(CPU, h, &ctxt) != 0 )
return -EINVAL;
vpic_reset(d);
vioapic_reset(d);
pit_reset(d);
- rtc_reset(d);
+ rtc_reset(d);
pmtimer_reset(d);
hpet_reset(d);