Lines Matching defs:enabled
72 * distributor and redistributors depends on whether security is enabled in the
75 * When security is enabled, non-secure priority values from the (re)distributor
81 * from the (re)distributor when security is enabled. When SCR_EL3.FIQ == 0,
109 * When GIC security is enabled (GICD_CTLR.DS == 0), the interrupt priority
112 * If both are true (which is when gic_nonsecure_priorities gets enabled),
491 pr_err("Cannot set NMI property of enabled IRQ %u\n", d->irq);
528 pr_err("Cannot set NMI property of enabled IRQ %u\n", d->irq);
820 * enabled.
1252 int enabled;
1266 /* If interrupt was enabled, disable it first */
1267 enabled = gic_peek_irq(d, GICD_ISENABLER);
1268 if (enabled)
1278 * If the interrupt was enabled, enabled it again. Otherwise,
1281 if (enabled)
1696 pr_info("Pseudo-NMIs enabled using %s ICC_PMR_EL1 synchronisation\n",
2135 * If GICC is enabled and has valid gicr base address, then it means