check_timer_margin 380 drivers/watchdog/intel_scu_watchdog.c if (check_timer_margin(new_margin)) check_timer_margin 444 drivers/watchdog/intel_scu_watchdog.c if (check_timer_margin(timer_margin))