
  TYPE
    jmt$idle_dispatching_controls = RECORD
      unblocked_priorities: jmt$dispatching_priority_set,
      maximums_exceeded: jmt$dispatching_priority_set,
      controls: jmt$idle_dispatch_controls,
    RECEND,

      jmt$idle_dispatch_controls = ARRAY [jmt$dispatching_priority] OF jmt$idle_dispatching_entry,

    jmt$idle_dispatching_entry = RECORD
      blocked: boolean,
      idle_noticed_once: boolean,
      timestamp: ost$free_running_clock,
      last_cp_time: ost$free_running_clock,
    RECEND;

*copyc jmt$dispatching_priority
*copyc jmt$dispatching_priority_set
*copyc ost$free_running_clock
