                                                                                                              
  PROCEDURE [XREF] dup$copy_virtual_memory_sva                                                                
    (    system_virtual_address: dut$ee_system_virtual_address;                                               
         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$execution_environment                                                                              
*copyc dut$exchange_package                                                                                   
*copyc ost$status                                                                                             
?? POP ??                                                                                                     
