ctl_sec           112 drivers/watchdog/bcm_kona_wdt.c 		int ctl, cur, ctl_sec, cur_sec, res;
ctl_sec           117 drivers/watchdog/bcm_kona_wdt.c 		ctl_sec = TICKS_TO_SECS(ctl, wdt);
ctl_sec           125 drivers/watchdog/bcm_kona_wdt.c 			   ctl_sec, ctl, ctl,