Symbol: fsm_disabled_irq