
  TYPE
    pmt$cpu_attributes = record
      highest_defined_cpu_number: 0 .. osc$maximum_processor_number,
      cpu: array [0 .. osc$maximum_processor_number] of pmt$cpu_attribute,
    recend;

  TYPE
    pmt$cpu_attribute = RECORD
      model_type: pmt$processor_model_type,
      model_number: pmt$processor_model_number,
      serial_number: pmt$processor_serial_number,
      state: pmt$processor_state,
    recend;

*copyc osc$maximum_processor_number
*copyc pmt$processor_model_number
*copyc pmt$processor_model_type
*copyc pmt$processor_serial_number
*copyc pmt$processor_state

