ticks_to_seconds  402 drivers/watchdog/iTCO_wdt.c 		time_left = ticks_to_seconds(p, val16);
ticks_to_seconds  411 drivers/watchdog/iTCO_wdt.c 		time_left = ticks_to_seconds(p, val8);