
  PROCEDURE [XREF] tmp$select_next_task
    (    cst_p: ^ost$cpu_state_table;
     VAR ptlo: ost$task_index);

?? PUSH (LISTEXT := ON) ??
*copyc ost$cpu_state_table
*copyc ost$global_task_id
?? POP ??
