                                                                                                              
  PROCEDURE [XREF] dup$translate_sva                                                                          
    (    system_virtual_address: dut$ee_system_virtual_address;                                               
         processor: 0 .. duc$de_maximum_processors;                                                           
     VAR rma: ost$real_memory_address;                                                                        
     VAR bytes_left: 0 .. 10000(16);                                                                          
     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 ??                                                                                                     
