
  TYPE
    tmt$idle_resume_sys_task_kind = (tmc$ir_dm_system_tasks, tmc$ir_other_system_tasks);

