Lines Matching defs:enabled
92 * distributor and redistributors depends on whether security is enabled in the
95 * When security is enabled, non-secure priority values from the (re)distributor
101 * from the (re)distributor when security is enabled. When SCR_EL3.FIQ == 0,
129 * When GIC security is enabled (GICD_CTLR.DS == 0), the interrupt priority
132 * If both are true (which is when gic_nonsecure_priorities gets enabled),
510 pr_err("Cannot set NMI property of enabled IRQ %u\n", d->irq);
548 pr_err("Cannot set NMI property of enabled IRQ %u\n", d->irq);
853 * enabled.
1239 int enabled;
1256 /* If interrupt was enabled, disable it first */
1257 enabled = gic_peek_irq(d, GICD_ISENABLER);
1258 if (enabled) {
1269 * If the interrupt was enabled, enabled it again. Otherwise,
1272 if (enabled) {
1692 pr_info("Pseudo-NMIs enabled using %s ICC_PMR_EL1 synchronisation\n",
2137 * If GICC is enabled and has valid gicr base address, then it means