/* wdrtas_timer_start starts the watchdog by calling the RTAS function set-interval (surveillance)  */
static void wdrtas_timer_start(void)
/* wdrtas_timer_start starts the watchdog by calling the RTAS function set-interval (surveillance)  */
static void wdrtas_timer_start(void)
{
	wdrtas_set_interval(wdrtas_interval);
}