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

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