/* SPDX-License-Identifier: GPL-2.0 */

#ifndef _AVM_CRASH_HANDLING_H_
#define _AVM_CRASH_HANDLING_H_

#if defined(CONFIG_AVM_FASTIRQ)

void avm_rte_mark_as_ready(void);
bool avm_is_rte_crash_handling_enabled(void);

void avm_die_panic_handling(const char *str, struct pt_regs *regs);

#else

static inline void avm_rte_mark_as_ready(void) { }
static inline int in_avm_wdt_handling(void) { return 0; }
static inline bool avm_is_rte_crash_handling_enabled(void) { return 0; }
static inline void avm_die_panic_handling(const char *str __maybe_unused, struct pt_regs *regs __maybe_unused) {}

#endif

#endif /* _AVM_CRASH_HANDLING_H_ */