/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (c) 2021 Samsung Electronics Co., Ltd.
 *		http://www.samsung.com
 */

#ifndef EXYNOS_SEH_H
#define EXYNOS_SEH_H

/******************************************************************************/
/* Define function                                                            */
/******************************************************************************/
void exynos_seh_set_cm_debug_function(unsigned long addr);

#endif