Searched refs:NextServiceKey (Results 1 – 1 of 1) sorted by relevance
69 public ushort NextServiceKey => (ushort)(ServiceKey * 17 + 3); field in Antmicro.Renode.Peripherals.Timers.S32K3XX_SoftwareWatchdogTimer126 if(value == NextServiceKey) in HandleServiceKey()128 ServiceKey = NextServiceKey; in HandleServiceKey()213 new Tuple<ushort, ushort>(ServiceKey, NextServiceKey);
