1 /* SPDX-License-Identifier: GPL-2.0 */
5 int __init nmi_init(void);
6 void perfctr_irq(int irq, struct pt_regs *regs);
7 void nmi_adjust_hz(unsigned int new_hz);
9 extern atomic_t nmi_active;
11 void arch_touch_nmi_watchdog(void);
12 void start_nmi_watchdog(void *unused);
13 void stop_nmi_watchdog(void *unused);