
  {Internal declarations for MONITOR FAULT BUFFER}

  TYPE
    tmt$monitor_fault_buffer = record
      present: packed array [tmt$monitor_fault_buffers] of boolean,
      reserved: packed array [tmt$monitor_fault_buffers] of boolean,
      buffer: array [tmt$monitor_fault_buffers] of ost$monitor_fault,
    recend,

    tmt$monitor_fault_buffers = 1 .. tmc$maximum_monitor_faults;

  TYPE
    tmt$monitor_fault_identifiers = (tmc$null_fault,
      tmc$broken_task_fault_id, tmc$mcr_fault, mmc$segment_fault_processor_id,
      tmc$unknown_system_req_fault, syc$system_core_condition, tmc$dummy_fault);

  CONST
    tmc$last_fault_id_assigned = 6,
    tmc$maximum_monitor_faults = 4;

*copyc mmd$segment_access_condition
*copyc ost$monitor_fault
*copyc ost$name
*copyc ost$trap_enable
*copyc ost$status
*copyc syc$system_core_cond_constants
*copyc syt$system_core_condition
*copyc tmt$broken_task_condition
*copyc tmt$broken_task_monitor_fault
*copyc tmt$mcr_faults
