Home
last modified time | relevance | path

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

/device/soc/rockchip/common/sdk_linux/drivers/irqchip/
H A Dirq-gic-v3.c1221 int base_sgi; in gic_smp_init() local
1226 base_sgi = __irq_domain_alloc_irqs(gic_data.domain, -1, 0x8, NUMA_NO_NODE, &sgi_fwspec, false, NULL); in gic_smp_init()
1227 if (WARN_ON(base_sgi <= 0)) { in gic_smp_init()
1231 set_smp_ipi_range(base_sgi, 8); in gic_smp_init()

Completed in 4 milliseconds