On Thu, 14 Jul 2016, Julien Grall wrote:
> The comment was not correctly indented. Also the preferred name for the
> initial domain is "hardware domain" and not "dom0, so replace it.
> 
> Signed-off-by: Julien Grall <julien.gr...@arm.com>

Acked-by: Stefano Stabellini <sstabell...@kernel.org>


> ---
>     Changes in v2:
>         - Patch added
> ---
>  xen/arch/arm/domain_build.c | 5 +++--
>  1 file changed, 3 insertions(+), 2 deletions(-)
> 
> diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
> index 5b2f8ad..35ab08d 100644
> --- a/xen/arch/arm/domain_build.c
> +++ b/xen/arch/arm/domain_build.c
> @@ -1355,8 +1355,9 @@ static int acpi_route_spis(struct domain *d)
>      for( i = NR_LOCAL_IRQS; i < vgic_num_irqs(d); i++ )
>      {
>          /*
> -      * TODO: Exclude the SPIs SMMU uses which should not be routed to Dom0.
> -      */
> +         * TODO: Exclude the SPIs SMMU uses which should not be routed to
> +         * the hardware domain.
> +         */
>          desc = irq_to_desc(i);
>          if ( desc->action != NULL)
>              continue;
> -- 
> 1.9.1
> 

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel

Reply via email to