| Message ID | 1468513325-29492-10-git-send-email-julien.grall@arm.com |
|---|---|
| State | Superseded |
| Headers | show |
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;
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.grall@arm.com> --- Changes in v2: - Patch added --- xen/arch/arm/domain_build.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)