| /* |
| * drivers/staging/samsung/sec_debug_internal.h |
| * |
| * COPYRIGHT(C) 2017 Samsung Electronics Co., Ltd. All Right Reserved. |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 and |
| * only version 2 as published by the Free Software Foundation. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| */ |
| |
| #ifndef __SEC_DEBUG_INTERNAL_H__ |
| #define __SEC_DEBUG_INTERNAL_H__ |
| |
| /* sec_debug_reset_reason.c */ |
| extern int secdbg_rere_get_rstcnt_from_cmdline(void); |
| |
| #endif /* __SEC_DEBUG_INTERNAL_H__ */ |