diff options
-rw-r--r-- | xen/arch/arm/setup.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c index d4f22f65a8..dc0e215591 100644 --- a/xen/arch/arm/setup.c +++ b/xen/arch/arm/setup.c @@ -238,9 +238,7 @@ void __init start_xen(unsigned long boot_phys_offset, /* Create initial domain 0. */ dom0 = domain_create(0, 0, 0); - if ( IS_ERR(dom0) ) - printk("domain_create failed\n"); - if ( (dom0 == NULL) || (alloc_dom0_vcpu0() == NULL) ) + if ( IS_ERR(dom0) || (alloc_dom0_vcpu0() == NULL) ) panic("Error creating domain 0\n"); dom0->is_privileged = 1; |