With arch_domain_create() no longer being called with the idle domain, drop
the last remaining logic.
No functional change.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
BUILD_BUG_ON(GUEST_MAX_VCPUS < MAX_VIRT_CPUS);
- /* Idle domains do not need this setup */
- if ( is_idle_domain(d) )
- return 0;
-
- ASSERT(config != NULL);
-
#ifdef CONFIG_IOREQ_SERVER
ioreq_domain_init(d);
#endif
spin_lock_init(&d->arch.e820_lock);
- /* Minimal initialisation for the idle domain. */
- if ( unlikely(is_idle_domain(d)) )
- {
- return 0;
- }
-
- if ( !config )
- {
- /* Only IDLE is allowed with no config. */
- ASSERT_UNREACHABLE();
- return -EINVAL;
- }
-
if ( d->domain_id && cpu_has_amd_erratum(&boot_cpu_data, AMD_ERRATUM_121) )
{
if ( !opt_allow_unsafe )