# CONFIG_MST_IRQ is not set
