foundmatch++; 
foundmatch = 1; 
static void unregister_intr_pda(struct sn_irq_info *sn_irq_info){	int irq = sn_irq_info->irq_irq;	int cpu = sn_irq_info->irq_cpuid;	struct sn_irq_info *tmp_irq_info;	int i, foundmatch;	if (pdacpu(cpu)->sn_last_irq == irq) {		foundmatch = 0;		for (i = pdacpu(cpu)->sn_last_irq - 1; i; i--) {			tmp_irq_info = sn_irq[i];			while (tmp_irq_info) {				if (tmp_irq_info->irq_cpuid == cpu) {					foundmatch++;					break;				}				tmp_irq_info = tmp_irq_info->irq_next;			}			if (foundmatch) {				break;			}		}		pdacpu(cpu)->sn_last_irq = i;	}	if (pdacpu(cpu)->sn_first_irq == irq) {		foundmatch = 0;		for (i = pdacpu(cpu)->sn_first_irq + 1; i < NR_IRQS; i++) {			tmp_irq_info = sn_irq[i];			while (tmp_irq_info) {				if (tmp_irq_info->irq_cpuid == cpu) {					foundmatch++;					break;				}				tmp_irq_info = tmp_irq_info->irq_next;			}			if (foundmatch) {				break;			}		}		pdacpu(cpu)->sn_first_irq = ((i == NR_IRQS) ? 0 : i);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cb4cb2cb9b0b14bdf2fc7125e099ed7e818cea42/irq.c/buggy/arch/ia64/sn/kernel/irq.c