__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();