num_ipis          674 drivers/irqchip/irq-mips-gic.c 	unsigned int cpu_vec, i, gicconfig, v[2], num_ipis;
num_ipis          786 drivers/irqchip/irq-mips-gic.c 		num_ipis = 2 * num_possible_cpus();
num_ipis          787 drivers/irqchip/irq-mips-gic.c 		bitmap_set(ipi_resrv, gic_shared_intrs - num_ipis, num_ipis);