
  PROCEDURE [XREF] mmp$free_asid (asid: ost$asid;
        aste_p: ^mmt$active_segment_table_entry);

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