MSC01E_INT_COREHI
{MSC01E_INT_COREHI, MSC01_IRQ_LEVEL, 0},
set_vi_handler(MSC01E_INT_COREHI, corehi_irqdispatch);
corehi_irq = MSC01E_INT_BASE + MSC01E_INT_COREHI;