
  PROCEDURE [XREF] cmp$switch_tape_channel
    (    primary_channel: cmt$element_definition;
         ignore_controller_state: boolean;
         number_of_redundant_path: integer;
         redundant_channel_list: array [cmt$physical_equipment_number] of cmt$physical_address;
         new_state: cmt$element_state;
         redundant_pp_list: array [cmt$physical_equipment_number] of iot$pp_number;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc cmt$element_definition
*copyc cmt$element_state
*copyc cmt$physical_address
*copyc iot$pp_number
*copyc ost$status
?? POP ??
