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 */