 #ifdef CONFIG_HOTPLUG_CPU if (!cpu_online(cpu)) { nmi_exit(); return; } #endif  
fastcall void do_nmi(struct pt_regs * regs, long error_code){	int cpu;	nmi_enter();	cpu = smp_processor_id();	++nmi_count(cpu);	if (!nmi_callback(regs, cpu))		default_do_nmi(regs);	nmi_exit();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f370513640492641b4046bfd9a6e4714f6ae530d/traps.c/buggy/arch/i386/kernel/traps.c