hrint             328 kernel/watchdog.c 	unsigned long hrint = __this_cpu_read(hrtimer_interrupts);
hrint             330 kernel/watchdog.c 	if (__this_cpu_read(hrtimer_interrupts_saved) == hrint)
hrint             333 kernel/watchdog.c 	__this_cpu_write(hrtimer_interrupts_saved, hrint);