1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _ASM_NMI_H 3#define _ASM_NMI_H 4 5#ifdef CONFIG_PPC_WATCHDOG 6long soft_nmi_interrupt(struct pt_regs *regs); 7void watchdog_hardlockup_set_timeout_pct(u64 pct); 8#else 9static inline void watchdog_hardlockup_set_timeout_pct(u64 pct) {} 10#endif 11 12extern void hv_nmi_check_nonrecoverable(struct pt_regs *regs); 13 14#endif /* _ASM_NMI_H */ 15