  PROCEDURE [XREF] mmp$process_page_table_full (sva: ost$system_virtual_address;
    VAR new_asid: ost$asid;
    VAR new_asti: mmt$ast_index;
    VAR new_aste_p: ^mmt$active_segment_table_entry;
    VAR pt_full_status: mmt$pt_full_status);

?? PUSH (LISTEXT := ON) ??
*copyc mmt$active_segment_table
*copyc mmt$pt_full_status
*copyc ost$hardware_subranges
?? POP ??
