diff options
author | Ian Campbell <Ian.Campbell@citrix.com> | 2012-09-03 11:22:00 +0100 |
---|---|---|
committer | Ian Campbell <Ian.Campbell@citrix.com> | 2012-09-03 11:22:00 +0100 |
commit | d0a6bfdbf8a3f11e807624c6ff7b93f1f7b25a56 (patch) | |
tree | 08801d7573d1092ce0ae006d238551028a697a96 | |
parent | 6328e728f6d6589a10d7e9f97a47f566f63743c2 (diff) | |
download | xen-d0a6bfdbf8a3f11e807624c6ff7b93f1f7b25a56.tar.gz xen-d0a6bfdbf8a3f11e807624c6ff7b93f1f7b25a56.tar.bz2 xen-d0a6bfdbf8a3f11e807624c6ff7b93f1f7b25a56.zip |
arm: correctly check for error on dom0 allocation
Drop the redundant printk
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Jan Beulich <JBeulich@suse.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
-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; |