{Page Table definitions - (hardware defined)}

  CONST
    osc$max_page_frames = 0ffffffff(16),
    osc$max_page_table_entries = 512 * (1fff(16) + 1); { 2G * 4k pages 8 PTEs per CM page

  TYPE
    ost$page_table_index = 0 .. osc$max_page_table_entries - 1,

    ost$page_id = packed record
      asid: 0 .. 0ffff(16),
      pagenum: 0 .. 3fffff(16),
    recend,

    ost$page_table_entry = packed record
      v: boolean,
      c: boolean,
      u: boolean,
      m: boolean,
      pageid: ost$page_id,
      rma: 0 .. 3fffff(16),
    recend,

    ost$page_table = array [ost$page_table_index] of ost$page_table_entry;
