Symbol: GICV5_IPIS_PER_CPU
drivers/irqchip/irq-gic-v5.c
1019
unsigned int num_ipis = GICV5_IPIS_PER_CPU * nr_cpu_ids;
drivers/irqchip/irq-gic-v5.c
1030
set_smp_ipi_range_percpu(base_ipi_virq, GICV5_IPIS_PER_CPU, nr_cpu_ids);
drivers/irqchip/irq-gic-v5.c
1075
0, GICV5_IPIS_PER_CPU * nr_cpu_ids,