gpio_line_config(6, IXP4XX_GPIO_IN | IXP4XX_GPIO_ACTIVE_LOW); gpio_line_config(7, IXP4XX_GPIO_IN | IXP4XX_GPIO_ACTIVE_LOW); 
set_irq_type(IRQ_IXP4XX_GPIO6, IRQT_LOW); set_irq_type(IRQ_IXP4XX_GPIO7, IRQT_LOW); 
void __init ixdpg425_pci_preinit(void){	gpio_line_config(6, IXP4XX_GPIO_IN | IXP4XX_GPIO_ACTIVE_LOW);	gpio_line_config(7, IXP4XX_GPIO_IN | IXP4XX_GPIO_ACTIVE_LOW);	gpio_line_isr_clear(6);	gpio_line_isr_clear(7);	ixp4xx_pci_preinit();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bdf82b59c5dcf04bbdbd1938eefca14dd9cb44d3/ixdpg425-pci.c/buggy/arch/arm/mach-ixp4xx/ixdpg425-pci.c