
  PROCEDURE [XREF] dmp$display_device_file
    (VAR display_control: clt$display_control;
         recorded_vsn: rmt$recorded_vsn;
         summary_listing: boolean;
         full_listing: boolean;
         file_index: dmt$device_file_list_index;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc rmd$volume_declarations
*copyc clt$display_control
*copyc ost$status
*copyc dmt$device_file_list_index
?? POP ??
