
  TYPE
    pmt$processor_attributes = record
      model_number: pmt$cpu_model_number,
      serial_number: pmt$cpu_serial_number,
      page_size: ost$page_size,
    recend,

    pmt$processor = record
      serial_number: pmt$cpu_serial_number,
      model_number: pmt$cpu_model_number,
    recend;

  TYPE
    pmt$cpu_model_number = (pmc$cpu_model_p1, pmc$cpu_model_p2,
      pmc$cpu_model_p3, pmc$cpu_model_p4),

    pmt$cpu_serial_number = 0 .. 0ffff(16);

*copyc OST$PAGE_SIZE
