MSC01E_INT_CPUCTR
{MSC01E_INT_CPUCTR, MSC01_IRQ_LEVEL, 0}
set_vi_handler(MSC01E_INT_CPUCTR, mips_timer_dispatch);
mips_cpu_timer_irq = MSC01E_INT_BASE + MSC01E_INT_CPUCTR;