Searched refs:EL1VirtualTimerIRQ (Results 1 – 1 of 1) sorted by relevance
34 …1VirtualTimer = new TimerUnit(clockSource, this, "EL1VirtualTimer", EL1VirtualTimerIRQ, Frequency); in ARM_GenericTimer()118 public GPIO EL1VirtualTimerIRQ { get; } = new GPIO(); property in Antmicro.Renode.Peripherals.Timers.ARM_GenericTimer126 public GPIO VirtualTimerIRQ => EL1VirtualTimerIRQ;
