if (!nmi_callback(regs, cpu)) 
if (!rcu_dereference(nmi_callback)(regs, cpu)) 
fastcall void do_nmi(struct pt_regs * regs, long error_code){	int cpu;	nmi_enter();	cpu = smp_processor_id();#ifdef CONFIG_HOTPLUG_CPU	if (!cpu_online(cpu)) {		nmi_exit();		return;	}#endif	++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/19306059cd7fedaf96b4b0260a9a8a45e513c857/traps.c/clean/arch/i386/kernel/traps.c