diff options
| -rw-r--r-- | drivers/watchdog/wdt_pci.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/watchdog/wdt_pci.c b/drivers/watchdog/wdt_pci.c index 078f37f8038..5d922fd6eaf 100644 --- a/drivers/watchdog/wdt_pci.c +++ b/drivers/watchdog/wdt_pci.c | |||
| @@ -44,6 +44,7 @@ | |||
| 44 | #include <linux/miscdevice.h> | 44 | #include <linux/miscdevice.h> |
| 45 | #include <linux/watchdog.h> | 45 | #include <linux/watchdog.h> |
| 46 | #include <linux/ioport.h> | 46 | #include <linux/ioport.h> |
| 47 | #include <linux/delay.h> | ||
| 47 | #include <linux/notifier.h> | 48 | #include <linux/notifier.h> |
| 48 | #include <linux/reboot.h> | 49 | #include <linux/reboot.h> |
| 49 | #include <linux/init.h> | 50 | #include <linux/init.h> |