/* If the UART bit is set here, we may have received an 
/* If the UART bit is set here, we may have received an 
static void sn_end_irq(unsigned int irq){	int nasid;	int ivec;	uint64_t event_occurred;	ivec = irq & 0xff;	if (ivec == SGI_UART_VECTOR) {		nasid = get_nasid();		event_occurred = HUB_L((uint64_t *) GLOBAL_MMR_ADDR				       (nasid, SH_EVENT_OCCURRED));		/* If the UART bit is set here, we may have received an 		 * interrupt from the UART that the driver missed.  To		 * make sure, we IPI ourselves to force us to look again.		 */		if (event_occurred & SH_EVENT_OCCURRED_UART_INT_MASK) {			platform_send_ipi(smp_processor_id(), SGI_UART_VECTOR,					  IA64_IPI_DM_INT, 0);		}	}	__clear_bit(ivec, (volatile void *)pda->sn_in_service_ivecs);	if (sn_force_interrupt_flag)		force_interrupt(irq);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cb4cb2cb9b0b14bdf2fc7125e099ed7e818cea42/irq.c/buggy/arch/ia64/sn/kernel/irq.c