
  PROCEDURE [XREF] mmp$convert_pva (p: ^cell;
        cst_p: ^ost$cpu_state_table;
    VAR sva: ost$system_virtual_address;
    VAR fde_p: gft$locked_file_desc_entry_p;
    VAR aste_p: ^mmt$active_segment_table_entry;
    VAR ste_p: ^mmt$segment_descriptor;
    VAR stxe_p: ^mmt$segment_descriptor_extended);

?? PUSH (LISTEXT := ON) ??
*copyc gft$locked_file_desc_entry_p
*copyc MMT$ACTIVE_SEGMENT_TABLE
*copyc MMT$SEGMENT_DESCRIPTOR_TABLE_EX
*copyc OST$CPU_STATE_TABLE
*copyc OST$HARDWARE_SUBRANGES
?? POP ??
