Searched refs:Timer2IRQ (Results 1 – 1 of 1) sorted by relevance
21 Timer2IRQ = new GPIO(); in MPFS_Timer()124 public GPIO Timer2IRQ { get; private set; } property in Antmicro.Renode.Peripherals.Timers.MPFS_Timer138 Timer2IRQ.Unset(); in UpdateInterrupt()143 Timer2IRQ.Set(CalculateTimerMaskedInterruptValue(Timer.Timer32_2)); in UpdateInterrupt()