/* Slot 0 isn't actually populated with a card connector but we initialize it anyway in case a future version has the slot populated or someone with good soldering skills has some free time.  */
void __init gtwx5715_pci_preinit(void)
/* Slot 0 isn't actually populated with a card connector but we initialize it anyway in case a future version has the slot populated or someone with good soldering skills has some free time.  */
void __init gtwx5715_pci_preinit(void)
{
	set_irq_type(IXP4XX_GPIO_IRQ(INTA), IRQ_TYPE_LEVEL_LOW);
	set_irq_type(IXP4XX_GPIO_IRQ(INTB), IRQ_TYPE_LEVEL_LOW);
	ixp4xx_pci_preinit();
}