
  PROCEDURE [XREF] tmp$switch_task_from_failing_cp
    (VAR cst_p: ^ost$cpu_state_table);

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