Searched refs:IrqSource (Results 1 – 4 of 4) sorted by relevance
22 enabledSources = new HashSet<IrqSource>(); in IrqContext()23 pendingSources = new HashSet<IrqSource>(); in IrqContext()24 activeInterrupts = new Stack<IrqSource>(); in IrqContext()54 public void CompleteHandlingInterrupt(IrqSource irq) in CompleteHandlingInterrupt()81 public void EnableSource(IrqSource s, bool enabled) in EnableSource()100 public void MarkSourceAsPending(IrqSource s) in MarkSourceAsPending()113 IrqSource pendingIrq; in AcknowledgePendingInterrupt()141 private void RemovePendingStatusFromSource(IrqSource s) in RemovePendingStatusFromSource()151 private readonly HashSet<IrqSource> enabledSources;152 private readonly HashSet<IrqSource> pendingSources;[all …]
12 public class IrqSource class14 public IrqSource(uint id, IPlatformLevelInterruptController irqController) in IrqSource() method in Antmicro.Renode.Peripherals.IRQControllers.PLIC.IrqSource
34 irqSources = new IrqSource[numberOfSources]; in PlatformLevelInterruptControllerBase()37 irqSources[i] = new IrqSource(i, this); in PlatformLevelInterruptControllerBase()205 protected readonly IrqSource[] irqSources;
180 case Registers.IrqSource: in Write()437 case Registers.IrqSource: in Write()1058 IrqSource = 0x1E, // Read-Write enumerator
