                                                                                                              
  PROCEDURE [XREF] dup$copy_virtual_memory_pva                                                                
    (    process_virtual_address: ost$pva;                                                                    
         exchange: dut$exchange_package;                                                                      
         processor: 0 .. duc$de_maximum_processors;                                                           
         byte_count: 1 .. osc$max_segment_length;                                                             
         continue_if_possible: boolean;                                                                       
     VAR bytes_returned: ost$segment_length;                                                                  
     VAR file_data_seq_p: ^SEQ ( * );                                                                         
     VAR access_data: dut$access_data;                                                                        
     VAR status: ost$status);                                                                                 
                                                                                                              
?? PUSH (LISTEXT := ON) ??                                                                                    
*copyc dut$access_data                                                                                        
*copyc dut$exchange_package                                                                                   
*copyc dut$execution_environment                                                                              
*copyc ost$status                                                                                             
?? POP ??                                                                                                     
