Searched refs:Timer1IRQ (Results 1 – 1 of 1) sorted by relevance
20 Timer1IRQ = new GPIO(); in MPFS_Timer()123 public GPIO Timer1IRQ { get; private set; } property in Antmicro.Renode.Peripherals.Timers.MPFS_Timer137 Timer1IRQ.Set(CalculateTimerMaskedInterruptValue(Timer.Timer64)); in UpdateInterrupt()142 Timer1IRQ.Set(CalculateTimerMaskedInterruptValue(Timer.Timer32_1)); in UpdateInterrupt()