Re: [PATCH 3/4] xen/domain: Simpliy domain_create() now the idle domain is complete earlier

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Thu, 18 Jul 2024, Andrew Cooper wrote:
> With x86 implementing arch_init_idle_domain(), there is no longer any need to
> call arch_domain_create() with the idle domain.
> 
> Have the idle domain exit early with all other system domains.  Move the
> static-analysis ASSERT() earlier.  Then, remove the !is_idle_domain()
> protections around the majority of domain_create() and remove one level of
> indentation.
> 
> No practical change.
> 
> Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>

Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>