
  PROCEDURE [XREF] dsp$change_processor_state
    (    processor_id: ost$processor_id;
         state_data: dst$change_processor_state;
         service_processor_recovery: boolean);

?? PUSH (LISTEXT := ON) ??
*copyc dst$change_processor_state
*copyc ost$processor_id
?? POP ??
