static int irq2gpio[32] = { -1, -1, -1, -1, -1, -1,  0,  1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,  2,  3,  4,  5,  6, 7,  8,  9, 10, 11, 12, -1, -1, }; 
static void ixp4xx_irq_ack(unsigned int irq){	static int irq2gpio[32] = {		-1, -1, -1, -1, -1, -1,  0,  1,		-1, -1, -1, -1, -1, -1, -1, -1,		-1, -1, -1,  2,  3,  4,  5,  6,		 7,  8,  9, 10, 11, 12, -1, -1,	};	int line = (irq < 32) ? irq2gpio[irq] : -1;	if (line >= 0)		gpio_line_isr_clear(line);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bdf82b59c5dcf04bbdbd1938eefca14dd9cb44d3/common.c/buggy/arch/arm/mach-ixp4xx/common.c