gic_check_gicv2   477 drivers/irqchip/irq-gic.c 	if (gic_check_gicv2(cpu_base))
gic_check_gicv2  1289 drivers/irqchip/irq-gic.c 		if (!gic_check_gicv2(*base))
gic_check_gicv2  1300 drivers/irqchip/irq-gic.c 		if (!gic_check_gicv2(alt + SZ_4K)) {
gic_check_gicv2  1335 drivers/irqchip/irq-gic.c 		if (!gic_check_gicv2(*base) ||
gic_check_gicv2  1336 drivers/irqchip/irq-gic.c 		    !gic_check_gicv2(*base + 0xf000))