gic_dist_security_disabled  909 drivers/irqchip/irq-gic-v3.c 			!gic_dist_security_disabled());
gic_dist_security_disabled 1182 drivers/irqchip/irq-gic-v3.c 		if (gic_dist_security_disabled())
gic_dist_security_disabled 1185 drivers/irqchip/irq-gic-v3.c 	} else if (cmd == CPU_PM_ENTER && gic_dist_security_disabled()) {
gic_dist_security_disabled 1493 drivers/irqchip/irq-gic-v3.c 	if (gic_has_group0() && !gic_dist_security_disabled()) {