
  TYPE
    jmt$page_faults = record
      pages_reclaimed_from_memory: jmt$page_fault_range,
      pages_read_from_disk: jmt$page_fault_range,
      new_pages_assigned: jmt$page_fault_range,
    recend;

  TYPE
    jmt$page_fault_range = 0 .. jmc$page_fault_maximum;

*IF $true(osv$unix)

  CONST
    jmc$page_fault_maximum = 7fffffff(16);

*ELSE

  CONST
    jmc$page_fault_maximum = 0ffffffffffff(16);

*IFEND

