rcu_read_unlock(); 
static void force_interrupt(int irq){	struct sn_irq_info *sn_irq_info;	if (!sn_ioif_inited)		return;	sn_irq_info = sn_irq[irq];	while (sn_irq_info) {		if (IS_PCI_BRIDGE_ASIC(sn_irq_info->irq_bridge_type) &&		    (sn_irq_info->irq_bridge != NULL)) {			pcibr_force_interrupt(sn_irq_info);		}		sn_irq_info = sn_irq_info->irq_next;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cb4cb2cb9b0b14bdf2fc7125e099ed7e818cea42/irq.c/buggy/arch/ia64/sn/kernel/irq.c