| xj | b04a402 | 2021-11-25 15:01:52 +0800 | [diff] [blame] | 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 */ | ||||