set_icu2(MSYSINT2REG, (uint16_t)1 << SYSINT2_IRQ_TO_PIN(irq)); 
icu2_set(MSYSINT2REG, 1 << SYSINT2_IRQ_TO_PIN(irq)); 
static void enable_sysint2_irq(unsigned int irq){	set_icu2(MSYSINT2REG, (uint16_t)1 << SYSINT2_IRQ_TO_PIN(irq));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/979934da9e7a0005bd9c8b1d7d00febb59ff67f7/icu.c/clean/arch/mips/vr41xx/common/icu.c