cpu_t 1416 arch/x86/kernel/cpu/mce/core.c struct timer_list *cpu_t = this_cpu_ptr(&mce_timer); cpu_t 1419 arch/x86/kernel/cpu/mce/core.c WARN_ON(cpu_t != t);