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