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)