set_icu1(MDSIUINTREG, mask); 
icu1_set(MDSIUINTREG, mask); 
void vr41xx_enable_dsiuint(uint16_t mask){	irq_desc_t *desc = irq_desc + DSIU_IRQ;	unsigned long flags;	spin_lock_irqsave(&desc->lock, flags);	set_icu1(MDSIUINTREG, mask);	spin_unlock_irqrestore(&desc->lock, flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/979934da9e7a0005bd9c8b1d7d00febb59ff67f7/icu.c/buggy/arch/mips/vr41xx/common/icu.c