Commit | Line | Data |
---|---|---|
96bc024c | 1 | /* |
3cba5ef8 BD |
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 | ||
a4658e57 TF |
12 | #ifndef __PLAT_SAMSUNG_WATCHDOG_RESET_H |
13 | #define __PLAT_SAMSUNG_WATCHDOG_RESET_H | |
14 | ||
a4658e57 TF |
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 */ |