void sn_irq_unfixup(struct pci_dev *pci_dev){	struct sn_irq_info *sn_irq_info;	/* Only cleanup IRQ stuff if this device has a host bus context */	if (!SN_PCIDEV_BUSSOFT(pci_dev))		return;	sn_irq_info = SN_PCIDEV_INFO(pci_dev)->pdi_sn_irq_info;	if (!sn_irq_info || !sn_irq_info->irq_irq)		return;	unregister_intr_pda(sn_irq_info);	spin_lock(&sn_irq_info_lock);	list_del_rcu(&sn_irq_info->list);	spin_unlock(&sn_irq_info_lock);	call_rcu(&sn_irq_info->rcu, sn_irq_info_free);	pci_dev_put(pci_dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6f354b014b51716166f13f68b29212d3c44ed2c4/irq.c/buggy/arch/ia64/sn/kernel/irq.c