Symbol: gic_check_gicv2
drivers/irqchip/irq-gic.c
1301
if (!gic_check_gicv2(*base))
drivers/irqchip/irq-gic.c
1312
if (!gic_check_gicv2(alt + SZ_4K)) {
drivers/irqchip/irq-gic.c
1347
if (!gic_check_gicv2(*base) ||
drivers/irqchip/irq-gic.c
1348
!gic_check_gicv2(*base + 0xf000))
drivers/irqchip/irq-gic.c
450
if (gic_check_gicv2(cpu_base))