if (!smp_processor_id()) 
if (!cpu) 
asmlinkage void default_do_nmi(struct pt_regs *regs){	unsigned char reason = 0;	/* Only the BSP gets external NMIs from the system.  */	if (!smp_processor_id())		reason = get_nmi_reason();	if (!(reason & 0xc0)) {		if (notify_die(DIE_NMI_IPI, "nmi_ipi", regs, reason, 0, SIGINT)								== NOTIFY_STOP)			return;#ifdef CONFIG_X86_LOCAL_APIC		/*		 * Ok, so this is none of the documented NMI sources,		 * so it must be the NMI watchdog.		 */		if (nmi_watchdog > 0) {			nmi_watchdog_tick(regs,reason);			return;		}#endif		unknown_nmi_error(reason, regs);		return;	}	if (notify_die(DIE_NMI, "nmi", regs, reason, 0, SIGINT) == NOTIFY_STOP)		return; 	/* AK: following checks seem to be broken on modern chipsets. FIXME */	if (reason & 0x80)		mem_parity_error(reason, regs);	if (reason & 0x40)		io_check_error(reason, regs);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/76e4f660d9f4c6d1bb473f72be2988c35eaca948/traps.c/buggy/arch/x86_64/kernel/traps.c