  PROCEDURE [XREF] mmp$assign_specific_asid (aste_p: ^mmt$active_segment_table_entry);

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