 ixp2000_reg_write(IXP2000_GPIO_EDSR, (1 << (irq - IRQ_IXP2000_GPIO0))); ixp2000_reg_write(IXP2000_GPIO_LDSR, (1 << (irq - IRQ_IXP2000_GPIO0))); 
static void ixp2000_GPIO_irq_mask_ack(unsigned int irq){	ixp2000_reg_write(IXP2000_GPIO_INCR, (1 << (irq - IRQ_IXP2000_GPIO0)));	ixp2000_reg_write(IXP2000_GPIO_INST, (1 << (irq - IRQ_IXP2000_GPIO0)));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c4982887cacf2122bc256e901598b58caf4a34be/core.c/buggy/arch/arm/mach-ixp2000/core.c