 if (irq >= NR_IRQS) return; 
void disable_irq_nosync(unsigned int irq){	irq_desc_t *desc = irq_desc + irq;	unsigned long flags;	spin_lock_irqsave(&desc->lock, flags);	if (!desc->depth++) {		desc->status |= IRQ_DISABLED;		desc->handler->disable(irq);	}	spin_unlock_irqrestore(&desc->lock, flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c2b5a251b9feca727661f1a3278cafb1de4c80f3/manage.c/buggy/kernel/irq/manage.c