{
{ NOTE: If TYPE declarations or record fields are added/changed/deleted, please
{   make the appropriate changes in the corresponding display procedures in the
{   module(s) for the System Core Debugger: SYM$DEBUG, SYM$DEBUG1
{

  TYPE
    jmt$ijl_dispatching_control = record
      dispatching_control_index: jmt$dispatching_control_index,
      dispatching_priority: jmt$dispatching_priority,
      user_requested_dispatching_prio: jmt$dispatching_priority,
      operator_set_dispatching_prio: jmt$dispatching_priority,
      service_remaining: ost$free_running_clock,
      cp_service_at_class_switch: integer,
    RECEND;

*copyc jmt$dispatching_priority
*copyc jmt$dispatching_control
*copyc jmt$dispatching_control_index
*copyc ost$free_running_clock
