]> git.proxmox.com Git - mirror_ubuntu-artful-kernel.git/blob - drivers/watchdog/iTCO_wdt.c
Merge tag 'drm-fixes-for-v4.11-rc1' of git://people.freedesktop.org/~airlied/linux
[mirror_ubuntu-artful-kernel.git] / drivers / watchdog / iTCO_wdt.c
1 /*
2 * intel TCO Watchdog Driver
3 *
4 * (c) Copyright 2006-2011 Wim Van Sebroeck <wim@iguana.be>.
5 *
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.
10 *
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.
14 *
15 * The TCO watchdog is implemented in the following I/O controller hubs:
16 * (See the intel documentation on http://developer.intel.com.)
17 * document number 290655-003, 290677-014: 82801AA (ICH), 82801AB (ICHO)
18 * document number 290687-002, 298242-027: 82801BA (ICH2)
19 * document number 290733-003, 290739-013: 82801CA (ICH3-S)
20 * document number 290716-001, 290718-007: 82801CAM (ICH3-M)
21 * document number 290744-001, 290745-025: 82801DB (ICH4)
22 * document number 252337-001, 252663-008: 82801DBM (ICH4-M)
23 * document number 273599-001, 273645-002: 82801E (C-ICH)
24 * document number 252516-001, 252517-028: 82801EB (ICH5), 82801ER (ICH5R)
25 * document number 300641-004, 300884-013: 6300ESB
26 * document number 301473-002, 301474-026: 82801F (ICH6)
27 * document number 313082-001, 313075-006: 631xESB, 632xESB
28 * document number 307013-003, 307014-024: 82801G (ICH7)
29 * document number 322896-001, 322897-001: NM10
30 * document number 313056-003, 313057-017: 82801H (ICH8)
31 * document number 316972-004, 316973-012: 82801I (ICH9)
32 * document number 319973-002, 319974-002: 82801J (ICH10)
33 * document number 322169-001, 322170-003: 5 Series, 3400 Series (PCH)
34 * document number 320066-003, 320257-008: EP80597 (IICH)
35 * document number 324645-001, 324646-001: Cougar Point (CPT)
36 * document number TBD : Patsburg (PBG)
37 * document number TBD : DH89xxCC
38 * document number TBD : Panther Point
39 * document number TBD : Lynx Point
40 * document number TBD : Lynx Point-LP
41 */
42
43 /*
44 * Includes, defines, variables, module parameters, ...
45 */
46
47 #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
48
49 /* Module and version information */
50 #define DRV_NAME "iTCO_wdt"
51 #define DRV_VERSION "1.11"
52
53 /* Includes */
54 #include <linux/acpi.h> /* For ACPI support */
55 #include <linux/module.h> /* For module specific items */
56 #include <linux/moduleparam.h> /* For new moduleparam's */
57 #include <linux/types.h> /* For standard types (like size_t) */
58 #include <linux/errno.h> /* For the -ENODEV/... values */
59 #include <linux/kernel.h> /* For printk/panic/... */
60 #include <linux/watchdog.h> /* For the watchdog specific items */
61 #include <linux/init.h> /* For __init/__exit/... */
62 #include <linux/fs.h> /* For file operations */
63 #include <linux/platform_device.h> /* For platform_driver framework */
64 #include <linux/pci.h> /* For pci functions */
65 #include <linux/ioport.h> /* For io-port access */
66 #include <linux/spinlock.h> /* For spin_lock/spin_unlock/... */
67 #include <linux/uaccess.h> /* For copy_to_user/put_user/... */
68 #include <linux/io.h> /* For inb/outb/... */
69 #include <linux/platform_data/itco_wdt.h>
70
71 #include "iTCO_vendor.h"
72
73 /* Address definitions for the TCO */
74 /* TCO base address */
75 #define TCOBASE(p) ((p)->tco_res->start)
76 /* SMI Control and Enable Register */
77 #define SMI_EN(p) ((p)->smi_res->start)
78
79 #define TCO_RLD(p) (TCOBASE(p) + 0x00) /* TCO Timer Reload/Curr. Value */
80 #define TCOv1_TMR(p) (TCOBASE(p) + 0x01) /* TCOv1 Timer Initial Value*/
81 #define TCO_DAT_IN(p) (TCOBASE(p) + 0x02) /* TCO Data In Register */
82 #define TCO_DAT_OUT(p) (TCOBASE(p) + 0x03) /* TCO Data Out Register */
83 #define TCO1_STS(p) (TCOBASE(p) + 0x04) /* TCO1 Status Register */
84 #define TCO2_STS(p) (TCOBASE(p) + 0x06) /* TCO2 Status Register */
85 #define TCO1_CNT(p) (TCOBASE(p) + 0x08) /* TCO1 Control Register */
86 #define TCO2_CNT(p) (TCOBASE(p) + 0x0a) /* TCO2 Control Register */
87 #define TCOv2_TMR(p) (TCOBASE(p) + 0x12) /* TCOv2 Timer Initial Value*/
88
89 /* internal variables */
90 struct iTCO_wdt_private {
91 struct watchdog_device wddev;
92
93 /* TCO version/generation */
94 unsigned int iTCO_version;
95 struct resource *tco_res;
96 struct resource *smi_res;
97 /*
98 * NO_REBOOT flag is Memory-Mapped GCS register bit 5 (TCO version 2),
99 * or memory-mapped PMC register bit 4 (TCO version 3).
100 */
101 struct resource *gcs_pmc_res;
102 unsigned long __iomem *gcs_pmc;
103 /* the lock for io operations */
104 spinlock_t io_lock;
105 /* the PCI-device */
106 struct pci_dev *pci_dev;
107 /* whether or not the watchdog has been suspended */
108 bool suspended;
109 };
110
111 /* module parameters */
112 #define WATCHDOG_TIMEOUT 30 /* 30 sec default heartbeat */
113 static int heartbeat = WATCHDOG_TIMEOUT; /* in seconds */
114 module_param(heartbeat, int, 0);
115 MODULE_PARM_DESC(heartbeat, "Watchdog timeout in seconds. "
116 "5..76 (TCO v1) or 3..614 (TCO v2), default="
117 __MODULE_STRING(WATCHDOG_TIMEOUT) ")");
118
119 static bool nowayout = WATCHDOG_NOWAYOUT;
120 module_param(nowayout, bool, 0);
121 MODULE_PARM_DESC(nowayout,
122 "Watchdog cannot be stopped once started (default="
123 __MODULE_STRING(WATCHDOG_NOWAYOUT) ")");
124
125 static int turn_SMI_watchdog_clear_off = 1;
126 module_param(turn_SMI_watchdog_clear_off, int, 0);
127 MODULE_PARM_DESC(turn_SMI_watchdog_clear_off,
128 "Turn off SMI clearing watchdog (depends on TCO-version)(default=1)");
129
130 /*
131 * Some TCO specific functions
132 */
133
134 /*
135 * The iTCO v1 and v2's internal timer is stored as ticks which decrement
136 * every 0.6 seconds. v3's internal timer is stored as seconds (some
137 * datasheets incorrectly state 0.6 seconds).
138 */
139 static inline unsigned int seconds_to_ticks(struct iTCO_wdt_private *p,
140 int secs)
141 {
142 return p->iTCO_version == 3 ? secs : (secs * 10) / 6;
143 }
144
145 static inline unsigned int ticks_to_seconds(struct iTCO_wdt_private *p,
146 int ticks)
147 {
148 return p->iTCO_version == 3 ? ticks : (ticks * 6) / 10;
149 }
150
151 static inline u32 no_reboot_bit(struct iTCO_wdt_private *p)
152 {
153 u32 enable_bit;
154
155 switch (p->iTCO_version) {
156 case 5:
157 case 3:
158 enable_bit = 0x00000010;
159 break;
160 case 2:
161 enable_bit = 0x00000020;
162 break;
163 case 4:
164 case 1:
165 default:
166 enable_bit = 0x00000002;
167 break;
168 }
169
170 return enable_bit;
171 }
172
173 static void iTCO_wdt_set_NO_REBOOT_bit(struct iTCO_wdt_private *p)
174 {
175 u32 val32;
176
177 /* Set the NO_REBOOT bit: this disables reboots */
178 if (p->iTCO_version >= 2) {
179 val32 = readl(p->gcs_pmc);
180 val32 |= no_reboot_bit(p);
181 writel(val32, p->gcs_pmc);
182 } else if (p->iTCO_version == 1) {
183 pci_read_config_dword(p->pci_dev, 0xd4, &val32);
184 val32 |= no_reboot_bit(p);
185 pci_write_config_dword(p->pci_dev, 0xd4, val32);
186 }
187 }
188
189 static int iTCO_wdt_unset_NO_REBOOT_bit(struct iTCO_wdt_private *p)
190 {
191 u32 enable_bit = no_reboot_bit(p);
192 u32 val32 = 0;
193
194 /* Unset the NO_REBOOT bit: this enables reboots */
195 if (p->iTCO_version >= 2) {
196 val32 = readl(p->gcs_pmc);
197 val32 &= ~enable_bit;
198 writel(val32, p->gcs_pmc);
199
200 val32 = readl(p->gcs_pmc);
201 } else if (p->iTCO_version == 1) {
202 pci_read_config_dword(p->pci_dev, 0xd4, &val32);
203 val32 &= ~enable_bit;
204 pci_write_config_dword(p->pci_dev, 0xd4, val32);
205
206 pci_read_config_dword(p->pci_dev, 0xd4, &val32);
207 }
208
209 if (val32 & enable_bit)
210 return -EIO;
211
212 return 0;
213 }
214
215 static int iTCO_wdt_start(struct watchdog_device *wd_dev)
216 {
217 struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);
218 unsigned int val;
219
220 spin_lock(&p->io_lock);
221
222 iTCO_vendor_pre_start(p->smi_res, wd_dev->timeout);
223
224 /* disable chipset's NO_REBOOT bit */
225 if (iTCO_wdt_unset_NO_REBOOT_bit(p)) {
226 spin_unlock(&p->io_lock);
227 pr_err("failed to reset NO_REBOOT flag, reboot disabled by hardware/BIOS\n");
228 return -EIO;
229 }
230
231 /* Force the timer to its reload value by writing to the TCO_RLD
232 register */
233 if (p->iTCO_version >= 2)
234 outw(0x01, TCO_RLD(p));
235 else if (p->iTCO_version == 1)
236 outb(0x01, TCO_RLD(p));
237
238 /* Bit 11: TCO Timer Halt -> 0 = The TCO timer is enabled to count */
239 val = inw(TCO1_CNT(p));
240 val &= 0xf7ff;
241 outw(val, TCO1_CNT(p));
242 val = inw(TCO1_CNT(p));
243 spin_unlock(&p->io_lock);
244
245 if (val & 0x0800)
246 return -1;
247 return 0;
248 }
249
250 static int iTCO_wdt_stop(struct watchdog_device *wd_dev)
251 {
252 struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);
253 unsigned int val;
254
255 spin_lock(&p->io_lock);
256
257 iTCO_vendor_pre_stop(p->smi_res);
258
259 /* Bit 11: TCO Timer Halt -> 1 = The TCO timer is disabled */
260 val = inw(TCO1_CNT(p));
261 val |= 0x0800;
262 outw(val, TCO1_CNT(p));
263 val = inw(TCO1_CNT(p));
264
265 /* Set the NO_REBOOT bit to prevent later reboots, just for sure */
266 iTCO_wdt_set_NO_REBOOT_bit(p);
267
268 spin_unlock(&p->io_lock);
269
270 if ((val & 0x0800) == 0)
271 return -1;
272 return 0;
273 }
274
275 static int iTCO_wdt_ping(struct watchdog_device *wd_dev)
276 {
277 struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);
278
279 spin_lock(&p->io_lock);
280
281 iTCO_vendor_pre_keepalive(p->smi_res, wd_dev->timeout);
282
283 /* Reload the timer by writing to the TCO Timer Counter register */
284 if (p->iTCO_version >= 2) {
285 outw(0x01, TCO_RLD(p));
286 } else if (p->iTCO_version == 1) {
287 /* Reset the timeout status bit so that the timer
288 * needs to count down twice again before rebooting */
289 outw(0x0008, TCO1_STS(p)); /* write 1 to clear bit */
290
291 outb(0x01, TCO_RLD(p));
292 }
293
294 spin_unlock(&p->io_lock);
295 return 0;
296 }
297
298 static int iTCO_wdt_set_timeout(struct watchdog_device *wd_dev, unsigned int t)
299 {
300 struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);
301 unsigned int val16;
302 unsigned char val8;
303 unsigned int tmrval;
304
305 tmrval = seconds_to_ticks(p, t);
306
307 /* For TCO v1 the timer counts down twice before rebooting */
308 if (p->iTCO_version == 1)
309 tmrval /= 2;
310
311 /* from the specs: */
312 /* "Values of 0h-3h are ignored and should not be attempted" */
313 if (tmrval < 0x04)
314 return -EINVAL;
315 if ((p->iTCO_version >= 2 && tmrval > 0x3ff) ||
316 (p->iTCO_version == 1 && tmrval > 0x03f))
317 return -EINVAL;
318
319 iTCO_vendor_pre_set_heartbeat(tmrval);
320
321 /* Write new heartbeat to watchdog */
322 if (p->iTCO_version >= 2) {
323 spin_lock(&p->io_lock);
324 val16 = inw(TCOv2_TMR(p));
325 val16 &= 0xfc00;
326 val16 |= tmrval;
327 outw(val16, TCOv2_TMR(p));
328 val16 = inw(TCOv2_TMR(p));
329 spin_unlock(&p->io_lock);
330
331 if ((val16 & 0x3ff) != tmrval)
332 return -EINVAL;
333 } else if (p->iTCO_version == 1) {
334 spin_lock(&p->io_lock);
335 val8 = inb(TCOv1_TMR(p));
336 val8 &= 0xc0;
337 val8 |= (tmrval & 0xff);
338 outb(val8, TCOv1_TMR(p));
339 val8 = inb(TCOv1_TMR(p));
340 spin_unlock(&p->io_lock);
341
342 if ((val8 & 0x3f) != tmrval)
343 return -EINVAL;
344 }
345
346 wd_dev->timeout = t;
347 return 0;
348 }
349
350 static unsigned int iTCO_wdt_get_timeleft(struct watchdog_device *wd_dev)
351 {
352 struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);
353 unsigned int val16;
354 unsigned char val8;
355 unsigned int time_left = 0;
356
357 /* read the TCO Timer */
358 if (p->iTCO_version >= 2) {
359 spin_lock(&p->io_lock);
360 val16 = inw(TCO_RLD(p));
361 val16 &= 0x3ff;
362 spin_unlock(&p->io_lock);
363
364 time_left = ticks_to_seconds(p, val16);
365 } else if (p->iTCO_version == 1) {
366 spin_lock(&p->io_lock);
367 val8 = inb(TCO_RLD(p));
368 val8 &= 0x3f;
369 if (!(inw(TCO1_STS(p)) & 0x0008))
370 val8 += (inb(TCOv1_TMR(p)) & 0x3f);
371 spin_unlock(&p->io_lock);
372
373 time_left = ticks_to_seconds(p, val8);
374 }
375 return time_left;
376 }
377
378 /*
379 * Kernel Interfaces
380 */
381
382 static const struct watchdog_info ident = {
383 .options = WDIOF_SETTIMEOUT |
384 WDIOF_KEEPALIVEPING |
385 WDIOF_MAGICCLOSE,
386 .firmware_version = 0,
387 .identity = DRV_NAME,
388 };
389
390 static const struct watchdog_ops iTCO_wdt_ops = {
391 .owner = THIS_MODULE,
392 .start = iTCO_wdt_start,
393 .stop = iTCO_wdt_stop,
394 .ping = iTCO_wdt_ping,
395 .set_timeout = iTCO_wdt_set_timeout,
396 .get_timeleft = iTCO_wdt_get_timeleft,
397 };
398
399 /*
400 * Init & exit routines
401 */
402
403 static int iTCO_wdt_probe(struct platform_device *pdev)
404 {
405 struct device *dev = &pdev->dev;
406 struct itco_wdt_platform_data *pdata = dev_get_platdata(dev);
407 struct iTCO_wdt_private *p;
408 unsigned long val32;
409 int ret;
410
411 if (!pdata)
412 return -ENODEV;
413
414 p = devm_kzalloc(dev, sizeof(*p), GFP_KERNEL);
415 if (!p)
416 return -ENOMEM;
417
418 spin_lock_init(&p->io_lock);
419
420 p->tco_res = platform_get_resource(pdev, IORESOURCE_IO, ICH_RES_IO_TCO);
421 if (!p->tco_res)
422 return -ENODEV;
423
424 p->smi_res = platform_get_resource(pdev, IORESOURCE_IO, ICH_RES_IO_SMI);
425 if (!p->smi_res)
426 return -ENODEV;
427
428 p->iTCO_version = pdata->version;
429 p->pci_dev = to_pci_dev(dev->parent);
430
431 /*
432 * Get the Memory-Mapped GCS or PMC register, we need it for the
433 * NO_REBOOT flag (TCO v2 and v3).
434 */
435 if (p->iTCO_version >= 2) {
436 p->gcs_pmc_res = platform_get_resource(pdev,
437 IORESOURCE_MEM,
438 ICH_RES_MEM_GCS_PMC);
439 p->gcs_pmc = devm_ioremap_resource(dev, p->gcs_pmc_res);
440 if (IS_ERR(p->gcs_pmc))
441 return PTR_ERR(p->gcs_pmc);
442 }
443
444 /* Check chipset's NO_REBOOT bit */
445 if (iTCO_wdt_unset_NO_REBOOT_bit(p) &&
446 iTCO_vendor_check_noreboot_on()) {
447 pr_info("unable to reset NO_REBOOT flag, device disabled by hardware/BIOS\n");
448 return -ENODEV; /* Cannot reset NO_REBOOT bit */
449 }
450
451 /* Set the NO_REBOOT bit to prevent later reboots, just for sure */
452 iTCO_wdt_set_NO_REBOOT_bit(p);
453
454 /* The TCO logic uses the TCO_EN bit in the SMI_EN register */
455 if (!devm_request_region(dev, p->smi_res->start,
456 resource_size(p->smi_res),
457 pdev->name)) {
458 pr_err("I/O address 0x%04llx already in use, device disabled\n",
459 (u64)SMI_EN(p));
460 return -EBUSY;
461 }
462 if (turn_SMI_watchdog_clear_off >= p->iTCO_version) {
463 /*
464 * Bit 13: TCO_EN -> 0
465 * Disables TCO logic generating an SMI#
466 */
467 val32 = inl(SMI_EN(p));
468 val32 &= 0xffffdfff; /* Turn off SMI clearing watchdog */
469 outl(val32, SMI_EN(p));
470 }
471
472 if (!devm_request_region(dev, p->tco_res->start,
473 resource_size(p->tco_res),
474 pdev->name)) {
475 pr_err("I/O address 0x%04llx already in use, device disabled\n",
476 (u64)TCOBASE(p));
477 return -EBUSY;
478 }
479
480 pr_info("Found a %s TCO device (Version=%d, TCOBASE=0x%04llx)\n",
481 pdata->name, pdata->version, (u64)TCOBASE(p));
482
483 /* Clear out the (probably old) status */
484 switch (p->iTCO_version) {
485 case 5:
486 case 4:
487 outw(0x0008, TCO1_STS(p)); /* Clear the Time Out Status bit */
488 outw(0x0002, TCO2_STS(p)); /* Clear SECOND_TO_STS bit */
489 break;
490 case 3:
491 outl(0x20008, TCO1_STS(p));
492 break;
493 case 2:
494 case 1:
495 default:
496 outw(0x0008, TCO1_STS(p)); /* Clear the Time Out Status bit */
497 outw(0x0002, TCO2_STS(p)); /* Clear SECOND_TO_STS bit */
498 outw(0x0004, TCO2_STS(p)); /* Clear BOOT_STS bit */
499 break;
500 }
501
502 p->wddev.info = &ident,
503 p->wddev.ops = &iTCO_wdt_ops,
504 p->wddev.bootstatus = 0;
505 p->wddev.timeout = WATCHDOG_TIMEOUT;
506 watchdog_set_nowayout(&p->wddev, nowayout);
507 p->wddev.parent = dev;
508
509 watchdog_set_drvdata(&p->wddev, p);
510 platform_set_drvdata(pdev, p);
511
512 /* Make sure the watchdog is not running */
513 iTCO_wdt_stop(&p->wddev);
514
515 /* Check that the heartbeat value is within it's range;
516 if not reset to the default */
517 if (iTCO_wdt_set_timeout(&p->wddev, heartbeat)) {
518 iTCO_wdt_set_timeout(&p->wddev, WATCHDOG_TIMEOUT);
519 pr_info("timeout value out of range, using %d\n",
520 WATCHDOG_TIMEOUT);
521 }
522
523 watchdog_stop_on_reboot(&p->wddev);
524 ret = devm_watchdog_register_device(dev, &p->wddev);
525 if (ret != 0) {
526 pr_err("cannot register watchdog device (err=%d)\n", ret);
527 return ret;
528 }
529
530 pr_info("initialized. heartbeat=%d sec (nowayout=%d)\n",
531 heartbeat, nowayout);
532
533 return 0;
534 }
535
536 static int iTCO_wdt_remove(struct platform_device *pdev)
537 {
538 struct iTCO_wdt_private *p = platform_get_drvdata(pdev);
539
540 /* Stop the timer before we leave */
541 if (!nowayout)
542 iTCO_wdt_stop(&p->wddev);
543
544 return 0;
545 }
546
547 #ifdef CONFIG_PM_SLEEP
548 /*
549 * Suspend-to-idle requires this, because it stops the ticks and timekeeping, so
550 * the watchdog cannot be pinged while in that state. In ACPI sleep states the
551 * watchdog is stopped by the platform firmware.
552 */
553
554 #ifdef CONFIG_ACPI
555 static inline bool need_suspend(void)
556 {
557 return acpi_target_system_state() == ACPI_STATE_S0;
558 }
559 #else
560 static inline bool need_suspend(void) { return true; }
561 #endif
562
563 static int iTCO_wdt_suspend_noirq(struct device *dev)
564 {
565 struct iTCO_wdt_private *p = dev_get_drvdata(dev);
566 int ret = 0;
567
568 p->suspended = false;
569 if (watchdog_active(&p->wddev) && need_suspend()) {
570 ret = iTCO_wdt_stop(&p->wddev);
571 if (!ret)
572 p->suspended = true;
573 }
574 return ret;
575 }
576
577 static int iTCO_wdt_resume_noirq(struct device *dev)
578 {
579 struct iTCO_wdt_private *p = dev_get_drvdata(dev);
580
581 if (p->suspended)
582 iTCO_wdt_start(&p->wddev);
583
584 return 0;
585 }
586
587 static const struct dev_pm_ops iTCO_wdt_pm = {
588 .suspend_noirq = iTCO_wdt_suspend_noirq,
589 .resume_noirq = iTCO_wdt_resume_noirq,
590 };
591
592 #define ITCO_WDT_PM_OPS (&iTCO_wdt_pm)
593 #else
594 #define ITCO_WDT_PM_OPS NULL
595 #endif /* CONFIG_PM_SLEEP */
596
597 static struct platform_driver iTCO_wdt_driver = {
598 .probe = iTCO_wdt_probe,
599 .remove = iTCO_wdt_remove,
600 .driver = {
601 .name = DRV_NAME,
602 .pm = ITCO_WDT_PM_OPS,
603 },
604 };
605
606 static int __init iTCO_wdt_init_module(void)
607 {
608 pr_info("Intel TCO WatchDog Timer Driver v%s\n", DRV_VERSION);
609
610 return platform_driver_register(&iTCO_wdt_driver);
611 }
612
613 static void __exit iTCO_wdt_cleanup_module(void)
614 {
615 platform_driver_unregister(&iTCO_wdt_driver);
616 pr_info("Watchdog Module Unloaded\n");
617 }
618
619 module_init(iTCO_wdt_init_module);
620 module_exit(iTCO_wdt_cleanup_module);
621
622 MODULE_AUTHOR("Wim Van Sebroeck <wim@iguana.be>");
623 MODULE_DESCRIPTION("Intel TCO WatchDog Timer Driver");
624 MODULE_VERSION(DRV_VERSION);
625 MODULE_LICENSE("GPL");
626 MODULE_ALIAS("platform:" DRV_NAME);