2 * intel TCO Watchdog Driver (Used in i82801 and i6300ESB chipsets)
4 * (c) Copyright 2006 Wim Van Sebroeck <wim@iguana.be>.
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version
9 * 2 of the License, or (at your option) any later version.
11 * Neither Wim Van Sebroeck nor Iguana vzw. admit liability nor
12 * provide warranty for any of this software. This material is
13 * provided "AS-IS" and at no charge.
15 * The TCO watchdog is implemented in the following I/O controller hubs:
16 * (See the intel documentation on http://developer.intel.com.)
17 * 82801AA (ICH) : document number 290655-003, 290677-014,
18 * 82801AB (ICHO) : document number 290655-003, 290677-014,
19 * 82801BA (ICH2) : document number 290687-002, 298242-027,
20 * 82801BAM (ICH2-M) : document number 290687-002, 298242-027,
21 * 82801CA (ICH3-S) : document number 290733-003, 290739-013,
22 * 82801CAM (ICH3-M) : document number 290716-001, 290718-007,
23 * 82801DB (ICH4) : document number 290744-001, 290745-020,
24 * 82801DBM (ICH4-M) : document number 252337-001, 252663-005,
25 * 82801E (C-ICH) : document number 273599-001, 273645-002,
26 * 82801EB (ICH5) : document number 252516-001, 252517-003,
27 * 82801ER (ICH5R) : document number 252516-001, 252517-003,
28 * 82801FB (ICH6) : document number 301473-002, 301474-007,
29 * 82801FR (ICH6R) : document number 301473-002, 301474-007,
30 * 82801FBM (ICH6-M) : document number 301473-002, 301474-007,
31 * 82801FW (ICH6W) : document number 301473-001, 301474-007,
32 * 82801FRW (ICH6RW) : document number 301473-001, 301474-007,
33 * 82801GB (ICH7) : document number 307013-002, 307014-009,
34 * 82801GR (ICH7R) : document number 307013-002, 307014-009,
35 * 82801GDH (ICH7DH) : document number 307013-002, 307014-009,
36 * 82801GBM (ICH7-M) : document number 307013-002, 307014-009,
37 * 82801GHM (ICH7-M DH) : document number 307013-002, 307014-009,
38 * 6300ESB (6300ESB) : document number 300641-003
42 * Includes, defines, variables, module parameters, ...
45 /* Module and version information */
46 #define DRV_NAME "iTCO_wdt"
47 #define DRV_VERSION "1.00"
48 #define DRV_RELDATE "30-Jul-2006"
49 #define PFX DRV_NAME ": "
52 #include <linux/module.h> /* For module specific items */
53 #include <linux/moduleparam.h> /* For new moduleparam's */
54 #include <linux/types.h> /* For standard types (like size_t) */
55 #include <linux/errno.h> /* For the -ENODEV/... values */
56 #include <linux/kernel.h> /* For printk/panic/... */
57 #include <linux/miscdevice.h> /* For MODULE_ALIAS_MISCDEV(WATCHDOG_MINOR) */
58 #include <linux/watchdog.h> /* For the watchdog specific items */
59 #include <linux/init.h> /* For __init/__exit/... */
60 #include <linux/fs.h> /* For file operations */
61 #include <linux/platform_device.h> /* For platform_driver framework */
62 #include <linux/pci.h> /* For pci functions */
63 #include <linux/ioport.h> /* For io-port access */
64 #include <linux/spinlock.h> /* For spin_lock/spin_unlock/... */
66 #include <asm/uaccess.h> /* For copy_to_user/put_user/... */
67 #include <asm/io.h> /* For inb/outb/... */
69 /* TCO related info */
71 TCO_ICH = 0, /* ICH */
74 TCO_ICH2M, /* ICH2-M */
75 TCO_ICH3, /* ICH3-S */
76 TCO_ICH3M, /* ICH3-M */
78 TCO_ICH4M, /* ICH4-M */
80 TCO_ICH5, /* ICH5 & ICH5R */
81 TCO_6300ESB, /* 6300ESB */
82 TCO_ICH6, /* ICH6 & ICH6R */
83 TCO_ICH6M, /* ICH6-M */
84 TCO_ICH6W, /* ICH6W & ICH6RW */
85 TCO_ICH7, /* ICH7 & ICH7R */
86 TCO_ICH7M, /* ICH7-M */
87 TCO_ICH7MDH, /* ICH7-M DH */
92 unsigned int iTCO_version;
93 } iTCO_chipset_info[] __devinitdata = {
103 {"ICH5 or ICH5R", 1},
105 {"ICH6 or ICH6R", 2},
107 {"ICH6W or ICH6RW", 2},
108 {"ICH7 or ICH7R", 2},
115 * This data only exists for exporting the supported PCI ids
116 * via MODULE_DEVICE_TABLE. We do not actually register a
117 * pci_driver, because the I/O Controller Hub has also other
118 * functions that probably will be registered by other drivers.
120 static struct pci_device_id iTCO_wdt_pci_tbl[] = {
121 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801AA_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH },
122 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801AB_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH0 },
123 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801BA_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH2 },
124 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801BA_10, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH2M },
125 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801CA_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH3 },
126 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801CA_12, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH3M },
127 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801DB_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH4 },
128 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801DB_12, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH4M },
129 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801E_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_CICH },
130 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82801EB_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH5 },
131 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_ESB_1, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_6300ESB },
132 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_ICH6_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH6 },
133 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_ICH6_1, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH6M },
134 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_ICH6_2, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH6W },
135 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_ICH7_0, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH7 },
136 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_ICH7_1, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH7M },
137 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_ICH7_31, PCI_ANY_ID, PCI_ANY_ID, 0, 0, TCO_ICH7MDH },
138 { 0, }, /* End of list */
140 MODULE_DEVICE_TABLE (pci, iTCO_wdt_pci_tbl);
142 /* Address definitions for the TCO */
143 #define TCOBASE iTCO_wdt_private.ACPIBASE + 0x60 /* TCO base address */
144 #define SMI_EN iTCO_wdt_private.ACPIBASE + 0x30 /* SMI Control and Enable Register */
146 #define TCO_RLD TCOBASE + 0x00 /* TCO Timer Reload and Current Value */
147 #define TCOv1_TMR TCOBASE + 0x01 /* TCOv1 Timer Initial Value */
148 #define TCO_DAT_IN TCOBASE + 0x02 /* TCO Data In Register */
149 #define TCO_DAT_OUT TCOBASE + 0x03 /* TCO Data Out Register */
150 #define TCO1_STS TCOBASE + 0x04 /* TCO1 Status Register */
151 #define TCO2_STS TCOBASE + 0x06 /* TCO2 Status Register */
152 #define TCO1_CNT TCOBASE + 0x08 /* TCO1 Control Register */
153 #define TCO2_CNT TCOBASE + 0x0a /* TCO2 Control Register */
154 #define TCOv2_TMR TCOBASE + 0x12 /* TCOv2 Timer Initial Value */
156 /* internal variables */
157 static unsigned long is_active;
158 static char expect_release;
159 static struct { /* this is private data for the iTCO_wdt device */
160 unsigned int iTCO_version; /* TCO version/generation */
161 unsigned long ACPIBASE; /* The cards ACPIBASE address (TCOBASE = ACPIBASE+0x60) */
162 unsigned long __iomem *gcs; /* NO_REBOOT flag is Memory-Mapped GCS register bit 5 (TCO version 2) */
163 spinlock_t io_lock; /* the lock for io operations */
164 struct pci_dev *pdev; /* the PCI-device */
167 static struct platform_device *iTCO_wdt_platform_device; /* the watchdog platform device */
169 /* module parameters */
170 #define WATCHDOG_HEARTBEAT 30 /* 30 sec default heartbeat */
171 static int heartbeat = WATCHDOG_HEARTBEAT; /* in seconds */
172 module_param(heartbeat, int, 0);
173 MODULE_PARM_DESC(heartbeat, "Watchdog heartbeat in seconds. (2<heartbeat<39 (TCO v1) or 613 (TCO v2), default=" __MODULE_STRING(WATCHDOG_HEARTBEAT) ")");
175 static int nowayout = WATCHDOG_NOWAYOUT;
176 module_param(nowayout, int, 0);
177 MODULE_PARM_DESC(nowayout, "Watchdog cannot be stopped once started (default=CONFIG_WATCHDOG_NOWAYOUT)");
180 * Some TCO specific functions
183 static inline unsigned int seconds_to_ticks(int seconds)
185 /* the internal timer is stored as ticks which decrement
186 * every 0.6 seconds */
187 return (seconds * 10) / 6;
190 static void iTCO_wdt_set_NO_REBOOT_bit(void)
194 /* Set the NO_REBOOT bit: this disables reboots */
195 if (iTCO_wdt_private.iTCO_version == 2) {
196 val32 = readl(iTCO_wdt_private.gcs);
198 writel(val32, iTCO_wdt_private.gcs);
199 } else if (iTCO_wdt_private.iTCO_version == 1) {
200 pci_read_config_dword(iTCO_wdt_private.pdev, 0xd4, &val32);
202 pci_write_config_dword(iTCO_wdt_private.pdev, 0xd4, val32);
206 static int iTCO_wdt_unset_NO_REBOOT_bit(void)
211 /* Unset the NO_REBOOT bit: this enables reboots */
212 if (iTCO_wdt_private.iTCO_version == 2) {
213 val32 = readl(iTCO_wdt_private.gcs);
215 writel(val32, iTCO_wdt_private.gcs);
217 val32 = readl(iTCO_wdt_private.gcs);
218 if (val32 & 0x00000020)
220 } else if (iTCO_wdt_private.iTCO_version == 1) {
221 pci_read_config_dword(iTCO_wdt_private.pdev, 0xd4, &val32);
223 pci_write_config_dword(iTCO_wdt_private.pdev, 0xd4, val32);
225 pci_read_config_dword(iTCO_wdt_private.pdev, 0xd4, &val32);
226 if (val32 & 0x00000002)
230 return ret; /* returns: 0 = OK, -EIO = Error */
233 static int iTCO_wdt_start(void)
237 spin_lock(&iTCO_wdt_private.io_lock);
239 /* disable chipset's NO_REBOOT bit */
240 if (iTCO_wdt_unset_NO_REBOOT_bit()) {
241 printk(KERN_ERR PFX "failed to reset NO_REBOOT flag, reboot disabled by hardware\n");
245 /* Bit 11: TCO Timer Halt -> 0 = The TCO timer is enabled to count */
250 spin_unlock(&iTCO_wdt_private.io_lock);
257 static int iTCO_wdt_stop(void)
261 spin_lock(&iTCO_wdt_private.io_lock);
263 /* Bit 11: TCO Timer Halt -> 1 = The TCO timer is disabled */
269 /* Set the NO_REBOOT bit to prevent later reboots, just for sure */
270 iTCO_wdt_set_NO_REBOOT_bit();
272 spin_unlock(&iTCO_wdt_private.io_lock);
274 if ((val & 0x0800) == 0)
279 static int iTCO_wdt_keepalive(void)
281 spin_lock(&iTCO_wdt_private.io_lock);
283 /* Reload the timer by writing to the TCO Timer Counter register */
284 if (iTCO_wdt_private.iTCO_version == 2) {
286 } else if (iTCO_wdt_private.iTCO_version == 1) {
290 spin_unlock(&iTCO_wdt_private.io_lock);
294 static int iTCO_wdt_set_heartbeat(int t)
300 tmrval = seconds_to_ticks(t);
301 /* from the specs: */
302 /* "Values of 0h-3h are ignored and should not be attempted" */
305 if (((iTCO_wdt_private.iTCO_version == 2) && (tmrval > 0x3ff)) ||
306 ((iTCO_wdt_private.iTCO_version == 1) && (tmrval > 0x03f)))
309 /* Write new heartbeat to watchdog */
310 if (iTCO_wdt_private.iTCO_version == 2) {
311 spin_lock(&iTCO_wdt_private.io_lock);
312 val16 = inw(TCOv2_TMR);
315 outw(val16, TCOv2_TMR);
316 val16 = inw(TCOv2_TMR);
317 spin_unlock(&iTCO_wdt_private.io_lock);
319 if ((val16 & 0x3ff) != tmrval)
321 } else if (iTCO_wdt_private.iTCO_version == 1) {
322 spin_lock(&iTCO_wdt_private.io_lock);
323 val8 = inb(TCOv1_TMR);
325 val8 |= (tmrval & 0xff);
326 outb(val8, TCOv1_TMR);
327 val8 = inb(TCOv1_TMR);
328 spin_unlock(&iTCO_wdt_private.io_lock);
330 if ((val8 & 0x3f) != tmrval)
338 static int iTCO_wdt_get_timeleft (int *time_left)
343 /* read the TCO Timer */
344 if (iTCO_wdt_private.iTCO_version == 2) {
345 spin_lock(&iTCO_wdt_private.io_lock);
346 val16 = inw(TCO_RLD);
348 spin_unlock(&iTCO_wdt_private.io_lock);
350 *time_left = (val16 * 6) / 10;
351 } else if (iTCO_wdt_private.iTCO_version == 1) {
352 spin_lock(&iTCO_wdt_private.io_lock);
355 spin_unlock(&iTCO_wdt_private.io_lock);
357 *time_left = (val8 * 6) / 10;
363 * /dev/watchdog handling
366 static int iTCO_wdt_open (struct inode *inode, struct file *file)
368 /* /dev/watchdog can only be opened once */
369 if (test_and_set_bit(0, &is_active))
373 * Reload and activate timer
375 iTCO_wdt_keepalive();
377 return nonseekable_open(inode, file);
380 static int iTCO_wdt_release (struct inode *inode, struct file *file)
383 * Shut off the timer.
385 if (expect_release == 42) {
388 printk(KERN_CRIT PFX "Unexpected close, not stopping watchdog!\n");
389 iTCO_wdt_keepalive();
391 clear_bit(0, &is_active);
396 static ssize_t iTCO_wdt_write (struct file *file, const char __user *data,
397 size_t len, loff_t * ppos)
399 /* See if we got the magic character 'V' and reload the timer */
404 /* note: just in case someone wrote the magic character
405 * five months ago... */
408 /* scan to see whether or not we got the magic character */
409 for (i = 0; i != len; i++) {
411 if (get_user(c, data+i))
418 /* someone wrote to us, we should reload the timer */
419 iTCO_wdt_keepalive();
424 static int iTCO_wdt_ioctl (struct inode *inode, struct file *file,
425 unsigned int cmd, unsigned long arg)
427 int new_options, retval = -EINVAL;
430 void __user *argp = (void __user *)arg;
431 int __user *p = argp;
432 static struct watchdog_info ident = {
433 .options = WDIOF_SETTIMEOUT |
434 WDIOF_KEEPALIVEPING |
436 .firmware_version = 0,
437 .identity = DRV_NAME,
441 case WDIOC_GETSUPPORT:
442 return copy_to_user(argp, &ident,
443 sizeof (ident)) ? -EFAULT : 0;
445 case WDIOC_GETSTATUS:
446 case WDIOC_GETBOOTSTATUS:
447 return put_user(0, p);
449 case WDIOC_KEEPALIVE:
450 iTCO_wdt_keepalive();
453 case WDIOC_SETOPTIONS:
455 if (get_user(new_options, p))
458 if (new_options & WDIOS_DISABLECARD) {
463 if (new_options & WDIOS_ENABLECARD) {
464 iTCO_wdt_keepalive();
472 case WDIOC_SETTIMEOUT:
474 if (get_user(new_heartbeat, p))
477 if (iTCO_wdt_set_heartbeat(new_heartbeat))
480 iTCO_wdt_keepalive();
484 case WDIOC_GETTIMEOUT:
485 return put_user(heartbeat, p);
487 case WDIOC_GETTIMELEFT:
489 if (iTCO_wdt_get_timeleft(&time_left))
492 return put_user(time_left, p);
504 static struct file_operations iTCO_wdt_fops = {
505 .owner = THIS_MODULE,
507 .write = iTCO_wdt_write,
508 .ioctl = iTCO_wdt_ioctl,
509 .open = iTCO_wdt_open,
510 .release = iTCO_wdt_release,
513 static struct miscdevice iTCO_wdt_miscdev = {
514 .minor = WATCHDOG_MINOR,
516 .fops = &iTCO_wdt_fops,
520 * Init & exit routines
523 static int iTCO_wdt_init(struct pci_dev *pdev, const struct pci_device_id *ent, struct platform_device *dev)
531 * Find the ACPI/PM base I/O address which is the base
532 * for the TCO registers (TCOBASE=ACPIBASE + 0x60)
533 * ACPIBASE is bits [15:7] from 0x40-0x43
535 pci_read_config_dword(pdev, 0x40, &base_address);
536 base_address &= 0x00007f80;
537 if (base_address == 0x00000000) {
538 /* Something's wrong here, ACPIBASE has to be set */
539 printk(KERN_ERR PFX "failed to get TCOBASE address\n");
543 iTCO_wdt_private.iTCO_version = iTCO_chipset_info[ent->driver_data].iTCO_version;
544 iTCO_wdt_private.ACPIBASE = base_address;
545 iTCO_wdt_private.pdev = pdev;
547 /* Get the Memory-Mapped GCS register, we need it for the NO_REBOOT flag (TCO v2) */
548 /* To get access to it you have to read RCBA from PCI Config space 0xf0
549 and use it as base. GCS = RCBA + ICH6_GCS(0x3410). */
550 if (iTCO_wdt_private.iTCO_version == 2) {
551 pci_read_config_dword(pdev, 0xf0, &base_address);
552 RCBA = base_address & 0xffffc000;
553 iTCO_wdt_private.gcs = ioremap((RCBA + 0x3410),4);
556 /* Check chipset's NO_REBOOT bit */
557 if (iTCO_wdt_unset_NO_REBOOT_bit()) {
558 printk(KERN_ERR PFX "failed to reset NO_REBOOT flag, reboot disabled by hardware\n");
559 ret = -ENODEV; /* Cannot reset NO_REBOOT bit */
563 /* Set the NO_REBOOT bit to prevent later reboots, just for sure */
564 iTCO_wdt_set_NO_REBOOT_bit();
566 /* Set the TCO_EN bit in SMI_EN register */
567 if (!request_region(SMI_EN, 4, "iTCO_wdt")) {
568 printk(KERN_ERR PFX "I/O address 0x%04lx already in use\n",
574 val32 &= 0xffffdfff; /* Turn off SMI clearing watchdog */
576 release_region(SMI_EN, 4);
578 /* The TCO I/O registers reside in a 32-byte range pointed to by the TCOBASE value */
579 if (!request_region (TCOBASE, 0x20, "iTCO_wdt")) {
580 printk (KERN_ERR PFX "I/O address 0x%04lx already in use\n",
586 printk(KERN_INFO PFX "Found a %s TCO device (Version=%d, TCOBASE=0x%04lx)\n",
587 iTCO_chipset_info[ent->driver_data].name,
588 iTCO_chipset_info[ent->driver_data].iTCO_version,
591 /* Clear out the (probably old) status */
595 /* Make sure the watchdog is not running */
598 /* Check that the heartbeat value is within it's range ; if not reset to the default */
599 if (iTCO_wdt_set_heartbeat(heartbeat)) {
600 iTCO_wdt_set_heartbeat(WATCHDOG_HEARTBEAT);
601 printk(KERN_INFO PFX "heartbeat value must be 2<heartbeat<39 (TCO v1) or 613 (TCO v2), using %d\n",
605 ret = misc_register(&iTCO_wdt_miscdev);
607 printk(KERN_ERR PFX "cannot register miscdev on minor=%d (err=%d)\n",
608 WATCHDOG_MINOR, ret);
612 printk (KERN_INFO PFX "initialized. heartbeat=%d sec (nowayout=%d)\n",
613 heartbeat, nowayout);
618 release_region (TCOBASE, 0x20);
620 if (iTCO_wdt_private.iTCO_version == 2)
621 iounmap(iTCO_wdt_private.gcs);
622 pci_dev_put(iTCO_wdt_private.pdev);
623 iTCO_wdt_private.ACPIBASE = 0;
627 static void iTCO_wdt_cleanup(void)
629 /* Stop the timer before we leave */
634 misc_deregister(&iTCO_wdt_miscdev);
635 release_region(TCOBASE, 0x20);
636 if (iTCO_wdt_private.iTCO_version == 2)
637 iounmap(iTCO_wdt_private.gcs);
638 pci_dev_put(iTCO_wdt_private.pdev);
639 iTCO_wdt_private.ACPIBASE = 0;
642 static int iTCO_wdt_probe(struct platform_device *dev)
645 struct pci_dev *pdev = NULL;
646 const struct pci_device_id *ent;
648 spin_lock_init(&iTCO_wdt_private.io_lock);
650 for_each_pci_dev(pdev) {
651 ent = pci_match_id(iTCO_wdt_pci_tbl, pdev);
653 if (!(iTCO_wdt_init(pdev, ent, dev))) {
661 printk(KERN_INFO PFX "No card detected\n");
668 static int iTCO_wdt_remove(struct platform_device *dev)
670 if (iTCO_wdt_private.ACPIBASE)
676 static void iTCO_wdt_shutdown(struct platform_device *dev)
681 #define iTCO_wdt_suspend NULL
682 #define iTCO_wdt_resume NULL
684 static struct platform_driver iTCO_wdt_driver = {
685 .probe = iTCO_wdt_probe,
686 .remove = iTCO_wdt_remove,
687 .shutdown = iTCO_wdt_shutdown,
688 .suspend = iTCO_wdt_suspend,
689 .resume = iTCO_wdt_resume,
691 .owner = THIS_MODULE,
696 static int __init iTCO_wdt_init_module(void)
700 printk(KERN_INFO PFX "Intel TCO WatchDog Timer Driver v%s (%s)\n",
701 DRV_VERSION, DRV_RELDATE);
703 err = platform_driver_register(&iTCO_wdt_driver);
707 iTCO_wdt_platform_device = platform_device_register_simple(DRV_NAME, -1, NULL, 0);
708 if (IS_ERR(iTCO_wdt_platform_device)) {
709 err = PTR_ERR(iTCO_wdt_platform_device);
710 goto unreg_platform_driver;
715 unreg_platform_driver:
716 platform_driver_unregister(&iTCO_wdt_driver);
720 static void __exit iTCO_wdt_cleanup_module(void)
722 platform_device_unregister(iTCO_wdt_platform_device);
723 platform_driver_unregister(&iTCO_wdt_driver);
724 printk(KERN_INFO PFX "Watchdog Module Unloaded.\n");
727 module_init(iTCO_wdt_init_module);
728 module_exit(iTCO_wdt_cleanup_module);
730 MODULE_AUTHOR("Wim Van Sebroeck <wim@iguana.be>");
731 MODULE_DESCRIPTION("Intel TCO WatchDog Timer Driver");
732 MODULE_VERSION(DRV_VERSION);
733 MODULE_LICENSE("GPL");
734 MODULE_ALIAS_MISCDEV(WATCHDOG_MINOR);