 if (irq >= NR_IRQS) return; 
void disable_irq(unsigned int irq){	irq_desc_t *desc = irq_desc + irq;	disable_irq_nosync(irq);	if (desc->action)		synchronize_irq(irq);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c2b5a251b9feca727661f1a3278cafb1de4c80f3/manage.c/buggy/kernel/irq/manage.c