Searched refs:set_smp_ipi_range (Results 1 – 6 of 6) sorted by relevance
40 extern void set_smp_ipi_range(int ipi_base, int nr_ipi);
278 set_smp_ipi_range(base_ipi, BITS_PER_MBOX); in bcm2836_arm_irqchip_smp_init()
395 set_smp_ipi_range(irq_base, 16); in hip04_of_init()
507 set_smp_ipi_range(base_ipi, IPI_DOORBELL_NR); in mpic_ipi_init()
872 set_smp_ipi_range(base_sgi, 8); in gic_smp_init()
724 void __init set_smp_ipi_range(int ipi_base, int n) in set_smp_ipi_range() function