1 --- a/drivers/watchdog/realtek_otto_wdt.c
2 +++ b/drivers/watchdog/realtek_otto_wdt.c
4 #include <linux/delay.h>
5 #include <linux/interrupt.h>
7 -#include <linux/math.h>
8 +#include <linux/kernel.h>
9 #include <linux/minmax.h>
10 #include <linux/module.h>
11 #include <linux/mod_devicetable.h>