gicirq            293 drivers/irqchip/irq-gic.c 	unsigned int gicirq = gic_irq(d);
gicirq            297 drivers/irqchip/irq-gic.c 	if (gicirq < 16)
gicirq            301 drivers/irqchip/irq-gic.c 	if (gicirq >= 32 && type != IRQ_TYPE_LEVEL_HIGH &&
gicirq            305 drivers/irqchip/irq-gic.c 	ret = gic_configure_irq(gicirq, type, base + GIC_DIST_CONFIG, NULL);
gicirq            306 drivers/irqchip/irq-gic.c 	if (ret && gicirq < 32) {
gicirq            308 drivers/irqchip/irq-gic.c 		pr_warn("GIC: PPI%d is secure or misconfigured\n", gicirq - 16);