CONFIG_GIC_NON_BANKED   86 drivers/irqchip/irq-gic.c #ifdef CONFIG_GIC_NON_BANKED
CONFIG_GIC_NON_BANKED  127 drivers/irqchip/irq-gic.c #ifdef CONFIG_GIC_NON_BANKED
CONFIG_GIC_NON_BANKED  739 drivers/irqchip/irq-gic.c #ifdef CONFIG_GIC_NON_BANKED
CONFIG_GIC_NON_BANKED 1102 drivers/irqchip/irq-gic.c 	if (IS_ENABLED(CONFIG_GIC_NON_BANKED) && gic->percpu_offset) {
CONFIG_GIC_NON_BANKED 1186 drivers/irqchip/irq-gic.c 	if (IS_ENABLED(CONFIG_GIC_NON_BANKED) && gic->percpu_offset) {