Home
last modified time | relevance | path

Searched refs:base_sgi (Results 1 – 2 of 2) sorted by relevance

/linux/drivers/irqchip/
H A Dirq-gic.c862 int base_sgi; in gic_smp_init() local
868 base_sgi = irq_domain_alloc_irqs(gic_data[0].domain, 8, NUMA_NO_NODE, &sgi_fwspec); in gic_smp_init()
869 if (WARN_ON(base_sgi <= 0)) in gic_smp_init()
872 set_smp_ipi_range(base_sgi, 8); in gic_smp_init()
H A Dirq-gic-v3.c1428 int base_sgi; in gic_smp_init() local
1439 base_sgi = irq_domain_alloc_irqs(gic_data.domain, 8, NUMA_NO_NODE, &sgi_fwspec); in gic_smp_init()
1440 if (WARN_ON(base_sgi <= 0)) in gic_smp_init()
1443 set_smp_ipi_range(base_sgi, 8); in gic_smp_init()