
  TYPE
    jmt$cpu_dispatching_allocation = array [jmt$user_dispatching_priority] of
          jmt$dispatching_allocation,

    jmt$dispatching_allocation = record
      minimum: 0 .. 100,
      maximum: 0 .. 100,
      enforce_maximum: boolean,
    recend;

*copyc jmt$dispatching_priority
