Searched refs:NonMaskableInterruptOrGICv2GroupMismatch (Results 1 – 1 of 1) sorted by relevance
2172 return gic.IrqsDecoder.NonMaskableInterruptOrGICv2GroupMismatch; in AcknowledgeBestPending()3259 …public InterruptId NonMaskableInterruptOrGICv2GroupMismatch => nonMaskableInterruptOrGICv2GroupMis… field in Antmicro.Renode.Peripherals.IRQControllers.InterruptsDecoder