
  TYPE
    jmt$swapped_job_entry = record
      available_modified_page_count: 0 .. osc$max_page_frames,
      job_page_queue_count: array [mmt$job_page_queue_index] of
            0 .. osc$max_page_frames,
      swap_file_descriptor_page_count: 0 .. osc$max_page_frames,
    recend;

*copyc mmt$page_frame_queue_id
*copyc ost$page_table
*copyc ost$hardware_subranges
