
{  Define type definition for the list of ASIDs that have caused a page table
{  full situation.

  TYPE
    mmt$asid_list_page_table_full = array [mmt$asid_list_ptf_index] of record
      asid: ost$asid,
      aste_p: ^mmt$active_segment_table_entry,
    recend,

    mmt$asid_list_ptf_index = 1 .. 33,
    mmt$max_asid_list_ptf_index = 0 .. 32;

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