Searched refs:HardwareInstanceIRQ (Results 1 – 1 of 1) sorted by relevance
32 HardwareInstanceIRQ = new GPIO(); in OpenTitan_CSRNG()217 public GPIO HardwareInstanceIRQ { get; } property in Antmicro.Renode.Peripherals.Miscellaneous.OpenTitan_CSRNG293 …HardwareInstanceIRQ.Set(hardwareInstanceInterrupt.Value && hardwareInstanceInterruptEnabled.Value); in UpdateInterrupts()
