ipi_resrv          58 drivers/irqchip/irq-mips-gic.c static DECLARE_BITMAP(ipi_resrv, GIC_MAX_INTRS);
ipi_resrv         463 drivers/irqchip/irq-mips-gic.c 		if (test_bit(GIC_HWIRQ_TO_SHARED(hwirq), ipi_resrv))
ipi_resrv         780 drivers/irqchip/irq-mips-gic.c 		bitmap_set(ipi_resrv, v[0], v[1]);
ipi_resrv         787 drivers/irqchip/irq-mips-gic.c 		bitmap_set(ipi_resrv, gic_shared_intrs - num_ipis, num_ipis);
ipi_resrv         790 drivers/irqchip/irq-mips-gic.c 	bitmap_copy(ipi_available, ipi_resrv, GIC_MAX_INTRS);