114 	int cpu = raw_smp_processor_id();  in wd_lockup_ipi()  local
146 static void set_cpu_stuck(int cpu, u64 tb)  in set_cpu_stuck()
151 static void watchdog_smp_panic(int cpu, u64 tb)  in watchdog_smp_panic()
205 static void wd_smp_clear_cpu_pending(int cpu, u64 tb)  in wd_smp_clear_cpu_pending()
273 static void watchdog_timer_interrupt(int cpu)  in watchdog_timer_interrupt()
288 	int cpu = raw_smp_processor_id();  in soft_nmi_interrupt()  local
333 	int cpu = smp_processor_id();  in watchdog_timer_fn()  local
351 	int cpu = smp_processor_id();  in arch_touch_nmi_watchdog()  local
368 	int cpu = smp_processor_id();  in start_watchdog()  local
398 static int start_watchdog_on_cpu(unsigned int cpu)  in start_watchdog_on_cpu()
406 	int cpu = smp_processor_id();  in stop_watchdog()  local
421 static int stop_watchdog_on_cpu(unsigned int cpu)  in stop_watchdog_on_cpu()
439 	int cpu;  in watchdog_nmi_stop()  local
447 	int cpu;  in watchdog_nmi_start()  local