--- zzzz-none-000/linux-4.1.38/drivers/watchdog/watchdog_core.h	2017-01-18 18:48:06.000000000 +0000
+++ bcm63-7582-715/linux-4.1.38/drivers/watchdog/watchdog_core.h	2020-11-25 10:06:48.000000000 +0000
@@ -33,5 +33,8 @@
  */
 extern int watchdog_dev_register(struct watchdog_device *);
 extern int watchdog_dev_unregister(struct watchdog_device *);
+#if defined(CONFIG_BCM_KF_WDT)
+extern int watchdog_dev_force_disable( void );
+#endif
 extern int __init watchdog_dev_init(void);
 extern void __exit watchdog_dev_exit(void);