/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _ASM_NMI_H #define _ASM_NMI_H #ifdef [31mCONFIG_PPC_WATCHDOG[0m extern void arch_touch_nmi_watchdog(void); #else static inline void arch_touch_nmi_watchdog(void) {} #endif #if defined([31mCONFIG_NMI_IPI[0m) && defined([31mCONFIG_STACKTRACE[0m) extern void arch_trigger_cpumask_backtrace(const cpumask_t *mask, bool exclude_self); #define arch_trigger_cpumask_backtrace arch_trigger_cpumask_backtrace #endif extern void hv_nmi_check_nonrecoverable(struct pt_regs *regs); #endif /* _ASM_NMI_H */ |