
  PROCEDURE [XREF] dsp$manage_virtual_cpu
    (    number: ost$processor_id);

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