Symbol: gic_prio_masking_enabled
drivers/irqchip/irq-gic-v3.c
1166
if (!gic_prio_masking_enabled()) {
drivers/irqchip/irq-gic-v3.c
1955
if (!gic_prio_masking_enabled() || nmi_support_forbidden)
drivers/irqchip/irq-gic-v3.c
870
if (gic_prio_masking_enabled()) {