Symbol: msc_irqmap_t