Searched refs:sharedPeripheralCount (Results 1 – 1 of 1) sorted by relevance
27 …hitectureVersion = ARM_GenericInterruptControllerVersion.Default, uint sharedPeripheralCount = 960) in ARM_GenericInterruptController() argument40 if(sharedPeripheralCount > InterruptsDecoder.MaximumSharedPeripheralCount) in ARM_GenericInterruptController()62 this.irqsDecoder = new InterruptsDecoder(sharedPeripheralCount, identifierBits: 10); in ARM_GenericInterruptController()3205 public InterruptsDecoder(uint sharedPeripheralCount, uint identifierBits) in InterruptsDecoder() argument3207 this.sharedPeripheralCount = sharedPeripheralCount; in InterruptsDecoder()3210 … sharedPeripheralLast = new InterruptId((uint)SharedPeripheralFirst + sharedPeripheralCount - 1); in InterruptsDecoder()3286 private readonly uint sharedPeripheralCount; field in Antmicro.Renode.Peripherals.IRQControllers.InterruptsDecoder
