
  PROCEDURE [XREF] mmp$change_asid (aste_p: ^mmt$active_segment_table_entry;
        old_asid: ost$asid;
        new_asid: ost$asid;
        new_asti: mmt$ast_index);

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