
  PROCEDURE [XREF] tmp$set_task_list_ready
    (    highest_index: integer;
         taskid_list: pmt$ready_task_list;
         task_response_list: pmt$ready_task_response_list;
         readying_task_priority: jmt$dispatching_priority);

?? PUSH (LISTEXT := ON) ??
*copyc jmt$dispatching_priority
*copyc ost$global_task_id
*copyc pmt$ready_task_list
?? POP ??
