115 	u64 tb = get_tb();  in wd_lockup_ipi()  local
119 		 cpu, tb, per_cpu(wd_timer_tb, cpu),  in wd_lockup_ipi()
120 		 tb_to_ns(tb - per_cpu(wd_timer_tb, cpu)) / 1000000);  in wd_lockup_ipi()
131 static void set_cpumask_stuck(const struct cpumask *cpumask, u64 tb)  in set_cpumask_stuck()  argument
136 		wd_smp_last_reset_tb = tb;  in set_cpumask_stuck()
142 static void set_cpu_stuck(int cpu, u64 tb)  in set_cpu_stuck()  argument
144 	set_cpumask_stuck(cpumask_of(cpu), tb);  in set_cpu_stuck()
147 static void watchdog_smp_panic(int cpu, u64 tb)  in watchdog_smp_panic()  argument
154 	if ((s64)(tb - wd_smp_last_reset_tb) < (s64)wd_smp_panic_timeout_tb)  in watchdog_smp_panic()
164 		 cpu, tb, wd_smp_last_reset_tb,  in watchdog_smp_panic()
165 		 tb_to_ns(tb - wd_smp_last_reset_tb) / 1000000);  in watchdog_smp_panic()
180 	set_cpumask_stuck(&wd_smp_cpus_pending, tb);  in watchdog_smp_panic()
201 static void wd_smp_clear_cpu_pending(int cpu, u64 tb)  in wd_smp_clear_cpu_pending()  argument
211 				 cpu, tb);  in wd_smp_clear_cpu_pending()
229 			wd_smp_last_reset_tb = tb;  in wd_smp_clear_cpu_pending()
240 	u64 tb = get_tb();  in watchdog_timer_interrupt()  local
242 	per_cpu(wd_timer_tb, cpu) = tb;  in watchdog_timer_interrupt()
244 	wd_smp_clear_cpu_pending(cpu, tb);  in watchdog_timer_interrupt()
246 	if ((s64)(tb - wd_smp_last_reset_tb) >= (s64)wd_smp_panic_timeout_tb)  in watchdog_timer_interrupt()
247 		watchdog_smp_panic(cpu, tb);  in watchdog_timer_interrupt()
254 	u64 tb;  in soft_nmi_interrupt()  local
263 	tb = get_tb();  in soft_nmi_interrupt()
264 	if (tb - per_cpu(wd_timer_tb, cpu) >= wd_panic_timeout_tb) {  in soft_nmi_interrupt()
270 		set_cpu_stuck(cpu, tb);  in soft_nmi_interrupt()
275 			 cpu, tb, per_cpu(wd_timer_tb, cpu),  in soft_nmi_interrupt()
276 			 tb_to_ns(tb - per_cpu(wd_timer_tb, cpu)) / 1000000);  in soft_nmi_interrupt()
317 	u64 tb = get_tb();  in arch_touch_nmi_watchdog()  local
319 	if (tb - per_cpu(wd_timer_tb, cpu) >= ticks) {  in arch_touch_nmi_watchdog()
320 		per_cpu(wd_timer_tb, cpu) = tb;  in arch_touch_nmi_watchdog()
321 		wd_smp_clear_cpu_pending(cpu, tb);  in arch_touch_nmi_watchdog()