otto_wdt_tick_ms
tick_ms = otto_wdt_tick_ms(ctrl, prescale);
mdelay(3 * otto_wdt_tick_ms(ctrl, 0));
max_tick_ms = otto_wdt_tick_ms(ctrl, OTTO_WDT_PRESCALE_MAX);