Lines Matching defs:enabled
84 * distributor and redistributors depends on whether security is enabled in the
87 * When security is enabled, non-secure priority values from the (re)distributor
93 * from the (re)distributor when security is enabled. When SCR_EL3.FIQ == 0,
112 * When GIC security is enabled (GICD_CTLR.DS == 0), the interrupt priority
115 * If both are true (which is when gic_nonsecure_priorities gets enabled),
535 pr_err("Cannot set NMI property of enabled IRQ %u\n", d->irq);
572 pr_err("Cannot set NMI property of enabled IRQ %u\n", d->irq);
791 * An exception has been taken from a context with IRQs enabled, and this could
957 * enabled.
1405 int enabled;
1419 /* If interrupt was enabled, disable it first */
1420 enabled = gic_peek_irq(d, GICD_ISENABLER);
1421 if (enabled)
1431 * If the interrupt was enabled, enabled it again. Otherwise,
1434 if (enabled)
1962 pr_info("Pseudo-NMIs enabled using %s ICC_PMR_EL1 synchronisation\n",
2431 * If GICC is enabled and has valid gicr base address, then it means