void platform_watchdog_service(void);
platform_watchdog_service resets the watchdog timeout. The watchdog timeout is reset to the period set by platform_watchdog_set_period.