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
298 	int cpu = smp_processor_id();  in watchdog_timer_fn()  local
316 	int cpu = smp_processor_id();  in arch_touch_nmi_watchdog()  local
329 	int cpu = smp_processor_id();  in start_watchdog()  local
359 static int start_watchdog_on_cpu(unsigned int cpu)  in start_watchdog_on_cpu()
367 	int cpu = smp_processor_id();  in stop_watchdog()  local
382 static int stop_watchdog_on_cpu(unsigned int cpu)  in stop_watchdog_on_cpu()
400 	int cpu;  in watchdog_nmi_stop()  local
408 	int cpu;  in watchdog_nmi_start()  local