1 Index: linux-5.10.72/drivers/watchdog/realtek_otto_wdt.c
2 ===================================================================
3 --- linux-5.10.72.orig/drivers/watchdog/realtek_otto_wdt.c
4 +++ linux-5.10.72/drivers/watchdog/realtek_otto_wdt.c
6 #include <linux/delay.h>
7 #include <linux/interrupt.h>
9 -#include <linux/math.h>
10 +#include <linux/kernel.h>
11 #include <linux/minmax.h>
12 #include <linux/module.h>
13 #include <linux/mod_devicetable.h>