114 	int cpu = raw_smp_processor_id();  in wd_lockup_ipi()  local
142 static void set_cpu_stuck(int cpu, u64 tb)  in set_cpu_stuck()
147 static void watchdog_smp_panic(int cpu, u64 tb)  in watchdog_smp_panic()
201 static void wd_smp_clear_cpu_pending(int cpu, u64 tb)  in wd_smp_clear_cpu_pending()
238 static void watchdog_timer_interrupt(int cpu)  in watchdog_timer_interrupt()
253 	int cpu = raw_smp_processor_id();  in soft_nmi_interrupt()  local
296 static void wd_timer_reset(unsigned int cpu, struct timer_list *t)  in wd_timer_reset()
306 	int cpu = smp_processor_id();  in wd_timer_fn()  local
316 	int cpu = smp_processor_id();  in arch_touch_nmi_watchdog()  local
326 static void start_watchdog_timer_on(unsigned int cpu)  in start_watchdog_timer_on()
336 static void stop_watchdog_timer_on(unsigned int cpu)  in stop_watchdog_timer_on()
343 static int start_wd_on_cpu(unsigned int cpu)  in start_wd_on_cpu()
371 static int stop_wd_on_cpu(unsigned int cpu)  in stop_wd_on_cpu()
402 	int cpu;  in watchdog_nmi_stop()  local
410 	int cpu;  in watchdog_nmi_start()  local