struct s3c2410_wdt *wdt;
        struct resource *wdt_irq;
        unsigned int wtcon;
-       int started = 0;
        int ret;
 
        wdt = devm_kzalloc(dev, sizeof(*wdt), GFP_KERNEL);
        ret = s3c2410wdt_set_heartbeat(&wdt->wdt_device,
                                        wdt->wdt_device.timeout);
        if (ret) {
-               started = s3c2410wdt_set_heartbeat(&wdt->wdt_device,
-                                       S3C2410_WATCHDOG_DEFAULT_TIME);
-
-               if (started == 0)
-                       dev_info(dev,
-                                "tmr_margin value out of range, default %d used\n",
+               ret = s3c2410wdt_set_heartbeat(&wdt->wdt_device,
+                                              S3C2410_WATCHDOG_DEFAULT_TIME);
+               if (ret == 0) {
+                       dev_warn(dev, "tmr_margin value out of range, default %d used\n",
                                 S3C2410_WATCHDOG_DEFAULT_TIME);
-               else
-                       dev_info(dev, "default timer value is out of range, cannot start\n");
+               } else {
+                       dev_err(dev, "failed to use default timeout\n");
+                       goto err_cpufreq;
+               }
        }
 
        ret = devm_request_irq(dev, wdt_irq->start, s3c2410wdt_irq, 0,
        if (ret < 0)
                goto err_unregister;
 
-       if (tmr_atboot && started == 0) {
+       if (tmr_atboot) {
                dev_info(dev, "starting watchdog timer\n");
                s3c2410wdt_start(&wdt->wdt_device);
-       } else if (!tmr_atboot) {
+       } else {
                /* if we're not enabling the watchdog, then ensure it is
                 * disabled if it has been left running from the bootloader
                 * or other source */