Searched refs:enabledSources (Results 1 – 1 of 1) sorted by relevance
22 enabledSources = new HashSet<IrqSource>(); in IrqContext()35 enabledSources.Clear(); in Reset()85 enabledSources.Add(s); in EnableSource()93 enabledSources.Remove(s); in EnableSource()102 if(enabledSources.Contains(s)) in MarkSourceAsPending()129 …nt for {0}. Currently enabled sources: {1}", this, string.Join(", ", enabledSources.Select(x => x.… in AcknowledgePendingInterrupt()151 private readonly HashSet<IrqSource> enabledSources; field in Antmicro.Renode.Peripherals.IRQControllers.PLIC.IrqContext
