Searched refs:NonSecureEL2PhysicalTimerIRQ (Results 1 – 1 of 1) sorted by relevance
36 …new TimerUnit(clockSource, this, "NonSecureEL2PhysicalTimer", NonSecureEL2PhysicalTimerIRQ, Freque… in ARM_GenericTimer()120 public GPIO NonSecureEL2PhysicalTimerIRQ { get; } = new GPIO(); property in Antmicro.Renode.Peripherals.Timers.ARM_GenericTimer125 public GPIO PL2PhysicalTimerIRQ => NonSecureEL2PhysicalTimerIRQ;
