old_check_interval 2215 arch/x86/kernel/cpu/mce/core.c 	unsigned long old_check_interval = check_interval;
old_check_interval 2218 arch/x86/kernel/cpu/mce/core.c 	if (check_interval == old_check_interval)