/* Cirrus 6832 Cardbus reports wrong irq on RDI Tadpole PARISC Laptop ( */
static void __devinit quirk_cirrus_cardbus(struct pci_dev *dev)
/* Cirrus 6832 Cardbus reports wrong irq on RDI Tadpole PARISC Laptop ( */
static void __devinit quirk_cirrus_cardbus(struct pci_dev *dev)
{
	u8 new_irq = dev->irq - 1;
	printk(KERN_INFO "PCI: Cirrus Cardbus IRQ fixup for %s, from %d to %d\n",
			pci_name(dev), dev->irq, new_irq);
	dev->irq = new_irq;
}