- init_completion(&bcm63xx_wdt_device.stop);
- bcm63xx_wdt_device.queue = 0;
-
- clear_bit(0, &bcm63xx_wdt_device.inuse);
-
- setup_timer(&bcm63xx_wdt_device.timer, bcm63xx_wdt_update, 0L);
-
- bcm63xx_wdt_device.default_ticks = ticks;
- bcm63xx_wdt_set(ticks);
- bcm63xx_wdt_start();
-
- printk(KERN_INFO PFX " started, timer margin: %d sec\n", WDT_INTERVAL);