/* SPDX-License-Identifier: MIT */

/* Copyright 2024 Advanced Micro Devices, Inc. */

#ifndef SPL_DEBUG_H
#define SPL_DEBUG_H

#if defined(CONFIG_HAVE_KGDB) || defined(CONFIG_KGDB)
#define SPL_ASSERT_CRITICAL(expr) do {  \
        if (WARN_ON(!(expr))) { \
                kgdb_breakpoint(); \
        } \
} while (0)
#else
#define SPL_ASSERT_CRITICAL(expr) do {  \
        if (WARN_ON(!(expr))) { \
                ; \
        } \
} while (0)
#endif /* CONFIG_HAVE_KGDB || CONFIG_KGDB */

#if defined(CONFIG_DEBUG_KERNEL_DC)
#define SPL_ASSERT(expr) SPL_ASSERT_CRITICAL(expr)
#else
#define SPL_ASSERT(expr) WARN_ON(!(expr))
#endif /* CONFIG_DEBUG_KERNEL_DC */

#define SPL_BREAK_TO_DEBUGGER() SPL_ASSERT(0)

#endif  // SPL_DEBUG_H