Searched refs:maximumValueForWhichRefreshIsPermitted (Results 1 – 1 of 1) sorted by relevance
91 .WithValueField(0, 24, out maximumValueForWhichRefreshIsPermitted, name: "WDOGMVRP") in DefineRegisters()143 rest = (uint)maximumValueForWhichRefreshIsPermitted.Value; in GetCurrentTimerValue()160 internalTimer.Limit = time.Value - maximumValueForWhichRefreshIsPermitted.Value; in SetState()167 … internalTimer.Limit = maximumValueForWhichRefreshIsPermitted.Value - triggerValue.Value; in SetState()198 private IValueRegisterField maximumValueForWhichRefreshIsPermitted; field in Antmicro.Renode.Peripherals.Timers.MPFS_Watchdog