arch/arm/mach-s3c64xx/watchdog-reset.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 /*
   3  * Copyright (c) 2008 Simtec Electronics
   4  *      Ben Dooks <ben@simtec.co.uk>
   5  *
   6  * S3C2410 - System define for arch_reset() function
   7  */
   8
   9 #ifndef __PLAT_SAMSUNG_WATCHDOG_RESET_H
  10 #define __PLAT_SAMSUNG_WATCHDOG_RESET_H
  11
  12 extern void samsung_wdt_reset(void);
  13 extern void samsung_wdt_reset_of_init(void);
  14 extern void samsung_wdt_reset_init(void __iomem *base);
  15
  16 #endif /* __PLAT_SAMSUNG_WATCHDOG_RESET_H */