  PROCEDURE [XREF] dup$find_procedure_for_pva (
        module_item: ^dbt$module_address_table_item;
        section_item_index: llt$section_ordinal;
        pva: ost$pva;
    VAR symbol_table_address: ^llt$debug_symbol_table;
    VAR symbol_index: llt$symbol_number;
    VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc dbt$module_address_table_item
*copyc dut$symbol_entry
*copyc osd$virtual_address
*copyc ost$status
?? POP ??
