__mcheck_cpu_init_timer 2077 arch/x86/kernel/cpu/mce/core.c 	__mcheck_cpu_init_timer();
__mcheck_cpu_init_timer 2102 arch/x86/kernel/cpu/mce/core.c 		__mcheck_cpu_init_timer();