void sn_irq_fixup(struct pci_dev *pci_dev, struct sn_irq_info *sn_irq_info){	nasid_t nasid = sn_irq_info->irq_nasid;	int slice = sn_irq_info->irq_slice;	int cpu = nasid_slice_to_cpuid(nasid, slice);	pci_dev_get(pci_dev);	sn_irq_info->irq_cpuid = cpu;	sn_irq_info->irq_pciioinfo = SN_PCIDEV_INFO(pci_dev);	/* link it into the sn_irq[irq] list */	spin_lock(&sn_irq_info_lock);	list_add_rcu(&sn_irq_info->list, sn_irq_lh[sn_irq_info->irq_irq]);	spin_unlock(&sn_irq_info_lock);	(void)register_intr_pda(sn_irq_info);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6f354b014b51716166f13f68b29212d3c44ed2c4/irq.c/buggy/arch/ia64/sn/kernel/irq.c