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

   1 /*
   2  * Copyright (c) 2008 Simtec Electronics
   3  *      Ben Dooks <ben@simtec.co.uk>
   4  *
   5  * S3C2410 - System define for arch_reset() function
   6  *
   7  * This program is free software; you can redistribute it and/or modify
   8  * it under the terms of the GNU General Public License version 2 as
   9  * published by the Free Software Foundation.
  10 */
  11
  12 #ifndef __PLAT_SAMSUNG_WATCHDOG_RESET_H
  13 #define __PLAT_SAMSUNG_WATCHDOG_RESET_H
  14
  15 extern void samsung_wdt_reset(void);
  16 extern void samsung_wdt_reset_of_init(void);
  17 extern void samsung_wdt_reset_init(void __iomem *base);
  18
  19 #endif /* __PLAT_SAMSUNG_WATCHDOG_RESET_H */