| /* 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 |
