| /* | |
| * Copyright (c) 2016 Samsung Electronics Co., Ltd. | |
| * http://www.samsung.com | |
| * | |
| * This program is free software; you can redistribute it and/or modify | |
| * it under the terms of the GNU General Public License version 2 as | |
| * published by the Free Software Foundation. | |
| */ | |
| #ifndef SEC_DEBUG_HARD_RESET_HOOK_H | |
| #define SEC_DEBUG_HARD_RESET_HOOK_H | |
| bool is_hard_reset_occurred(void); | |
| void hard_reset_delay(void); | |
| #endif |