Searched refs:nonMaskableInterruptOrGICv2GroupMismatch (Results 1 – 1 of 1) sorted by relevance
3259 …c InterruptId NonMaskableInterruptOrGICv2GroupMismatch => nonMaskableInterruptOrGICv2GroupMismatch;3278 … private readonly InterruptId nonMaskableInterruptOrGICv2GroupMismatch = new InterruptId(1022); field in Antmicro.Renode.Peripherals.IRQControllers.InterruptsDecoder
