Searched refs:NonSecureEL2VirtualTimerIRQ (Results 1 – 1 of 1) sorted by relevance
37 …= new TimerUnit(clockSource, this, "NonSecureEL2VirtualTimer", NonSecureEL2VirtualTimerIRQ, Freque… in ARM_GenericTimer()121 public GPIO NonSecureEL2VirtualTimerIRQ { get; } = new GPIO(); property in Antmicro.Renode.Peripherals.Timers.ARM_GenericTimer
