spin_unlock(&gpio_lock);  
gpio_pa_interrupt(int irq, void *dev_id, struct pt_regs *regs){	unsigned long tmp;	/* Find what PA interrupts are active */	tmp = (*R_IRQ_READ1);	/* Find those that we have enabled */	tmp &= gpio_pa_irq_enabled_mask;	/* Clear them.. */	*R_IRQ_MASK1_CLR = tmp;	gpio_pa_irq_enabled_mask &= ~tmp;	if (gpio_some_alarms) {		return IRQ_RETVAL(etrax_gpio_wake_up_check());	}        return IRQ_NONE;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7e9204265b4ec6680fad9abc7a78b94087983916/gpio.c/buggy/arch/cris/arch-v10/drivers/gpio.c