Searched refs:pendingSources (Results 1 – 1 of 1) sorted by relevance
23 pendingSources = new HashSet<IrqSource>(); in IrqContext()50 var isPending = pendingSources.Any(x => x.Priority > currentPriority); in RefreshInterrupt()104 if(pendingSources.Add(s)) in MarkSourceAsPending()122 pendingIrq = pendingSources in AcknowledgePendingInterrupt()143 if(pendingSources.Remove(s)) in RemovePendingStatusFromSource()152 private readonly HashSet<IrqSource> pendingSources; field in Antmicro.Renode.Peripherals.IRQControllers.PLIC.IrqContext
