if (++mp_irq_entries == MAX_IRQ_SOURCES) 
if (++mp_irq_entries >= MAX_IRQ_SOURCES) 
static void __init MP_intsrc_info (struct mpc_config_intsrc *m){	mp_irqs [mp_irq_entries] = *m;	Dprintk("Int: type %d, pol %d, trig %d, bus %d,"		" IRQ %02x, APIC ID %x, APIC INT %02x\n",			m->mpc_irqtype, m->mpc_irqflag & 3,			(m->mpc_irqflag >> 2) & 3, m->mpc_srcbus,			m->mpc_srcbusirq, m->mpc_dstapic, m->mpc_dstirq);	if (++mp_irq_entries == MAX_IRQ_SOURCES)		panic("Max # of irq sources exceeded!!\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6004e1b7effcbb385a6b7c790e4b8008682cf679/mpparse.c/clean/arch/x86_64/kernel/mpparse.c