gic_prio_masking_enabled  630 drivers/irqchip/irq-gic-v3.c 	if (gic_prio_masking_enabled()) {
gic_prio_masking_enabled  900 drivers/irqchip/irq-gic-v3.c 	if (!gic_prio_masking_enabled()) {
gic_prio_masking_enabled 1490 drivers/irqchip/irq-gic-v3.c 	if (!gic_prio_masking_enabled())