|
@@ -1032,12 +1032,14 @@ static void __init __gic_init(unsigned long gic_base_addr,
|
|
|
&gic_irq_domain_ops, NULL);
|
|
|
if (!gic_irq_domain)
|
|
|
panic("Failed to add GIC IRQ domain");
|
|
|
+ gic_irq_domain->name = "mips-gic-irq";
|
|
|
|
|
|
gic_dev_domain = irq_domain_add_hierarchy(gic_irq_domain, 0,
|
|
|
GIC_NUM_LOCAL_INTRS + gic_shared_intrs,
|
|
|
node, &gic_dev_domain_ops, NULL);
|
|
|
if (!gic_dev_domain)
|
|
|
panic("Failed to add GIC DEV domain");
|
|
|
+ gic_dev_domain->name = "mips-gic-dev";
|
|
|
|
|
|
gic_ipi_domain = irq_domain_add_hierarchy(gic_irq_domain,
|
|
|
IRQ_DOMAIN_FLAG_IPI_PER_CPU,
|
|
@@ -1046,6 +1048,7 @@ static void __init __gic_init(unsigned long gic_base_addr,
|
|
|
if (!gic_ipi_domain)
|
|
|
panic("Failed to add GIC IPI domain");
|
|
|
|
|
|
+ gic_ipi_domain->name = "mips-gic-ipi";
|
|
|
gic_ipi_domain->bus_token = DOMAIN_BUS_IPI;
|
|
|
|
|
|
if (node &&
|