
  TYPE
    dst$cpu_attributes = RECORD
      count: 0 .. osc$max_number_of_processors,
      cpu: ARRAY [0 .. osc$max_number_of_processors - 1] OF dst$cpu_attributes_entry,
    RECEND,

    dst$cpu_attributes_entry = RECORD
      state: cmt$element_state,
      down_reason: dst$processor_down_reason,
      memory_port_number: ost$cpu_memory_port_number,
      element_id: ost$cpu_element_id,
      vectors_not_available: boolean,
    RECEND;

*copyc cmt$element_state
*copyc dst$processor_down_reason
*copyc osc$multiprocessor_constants
*copyc ost$cpu_definitions
