Symbol: HW_IRQ_MX_BASE