/* wdrtas_timer_stop stops the watchdog timer by calling the RTAS function set-interval (surveillance)  */
static void wdrtas_timer_stop(void)
/* wdrtas_timer_stop stops the watchdog timer by calling the RTAS function set-interval (surveillance)  */
static void wdrtas_timer_stop(void)
{
	wdrtas_set_interval(0);
}