
  TYPE
    dst$change_processor_state = RECORD
      CASE state: cmt$element_state OF
      = cmc$down =
        down_reason: dst$processor_down_reason,
        halt_cpu_via_dft: boolean,
      CASEND,
    RECEND;

*copyc cmt$element_state
*copyc dst$processor_down_reason
