
  TYPE
    ost$processor_model_definition = RECORD
      pseudo_model_number: ost$processor_model_number,
      real_model_number: ost$processor_model_number,
      model_number_string: pmt$processor_model_number,
      processor_model_type: pmt$processor_model_type,
      multiple_processor_model_type: pmt$processor_model_type,
      quantum: integer,
      tick_time: integer,
      cache_present: boolean,
      maps_present: boolean,
      vector_capability: pmt$vector_capability,
    RECEND,

    ost$processor_search_data = RECORD
      CASE search_mode: ost$processor_search_modes OF
      = osc$psm_by_pseudo_model_number =
        pseudo_model_number: ost$processor_model_number,
      = osc$psm_by_real_model_number =
        real_model_number: ost$processor_model_number,
      = osc$psm_by_model_number_string =
        model_number_string: pmt$processor_model_number,
      CASEND,
    RECEND,

    { NOTE: The search mode of osc$psm_by_real_model_number is only
    { valid when retrieving the model definition of the machine that
    { is running the retrieving code.

    ost$processor_search_modes = (osc$psm_by_pseudo_model_number,
          osc$psm_by_real_model_number, osc$psm_by_model_number_string);

*copyc ost$processor_model_number
*copyc pmt$processor_model_number
*copyc pmt$processor_model_type
*copyc pmt$vector_capability
