117 	int cpu = raw_smp_processor_id();  in wd_lockup_ipi()  local
145 static void set_cpu_stuck(int cpu, u64 tb)  in set_cpu_stuck()
150 static void watchdog_smp_panic(int cpu, u64 tb)  in watchdog_smp_panic()
199 static void wd_smp_clear_cpu_pending(int cpu, u64 tb)  in wd_smp_clear_cpu_pending()
236 static void watchdog_timer_interrupt(int cpu)  in watchdog_timer_interrupt()
251 	int cpu = raw_smp_processor_id();  in DEFINE_INTERRUPT_HANDLER_NMI()  local
296 	int cpu = smp_processor_id();  in watchdog_timer_fn()  local
314 	int cpu = smp_processor_id();  in arch_touch_nmi_watchdog()  local
327 	int cpu = smp_processor_id();  in start_watchdog()  local
357 static int start_watchdog_on_cpu(unsigned int cpu)  in start_watchdog_on_cpu()
365 	int cpu = smp_processor_id();  in stop_watchdog()  local
380 static int stop_watchdog_on_cpu(unsigned int cpu)  in stop_watchdog_on_cpu()
398 	int cpu;  in watchdog_nmi_stop()  local
406 	int cpu;  in watchdog_nmi_start()  local