max_period
u_int max_period = 2 * EXYNOS_WDT_PERIOD_DEFAULT * sc->sc_freq;
for (size_t div = 256; UINT16_MAX > div * max_period; div++) {
set_max_period(unsigned max_period)
KASSERTMSG(max_period <= UINT_MAX/4/hz,
max_period, UINT_MAX/4/hz, hz);
if (heartbeat_max_period_secs == 0 && max_period != 0) {
atomic_store_relaxed(&heartbeat_max_period_secs, max_period);
atomic_store_relaxed(&heartbeat_max_period_ticks, max_period*hz);
unsigned max_period;
max_period = heartbeat_max_period_secs;
node.sysctl_data = &max_period;
if (max_period > UINT_MAX/4/hz) {
set_max_period(max_period);
__CTASSERT(max_period < UINT_MAX/4);
set_max_period(max_period);