
  PROCEDURE [XREF] cmp$change_cpu_element_state
    (    processor_id: ost$processor_id;
         state: cmt$element_state;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc cmt$element_state
*copyc ost$processor_id
*copyc ost$status
?? POP ??
