SECS_TO_TICKS
SECS_TO_TICKS(wdog->timeout, wdt) |
int reload = SECS_TO_TICKS(min(wdd->timeout, wdd->max_hw_heartbeat_ms/1000));
hpwdt_ping_ticks(SECS_TO_TICKS(val));
int reload = SECS_TO_TICKS(min(wdd->timeout, wdd->max_hw_heartbeat_ms/1000));