
  PROCEDURE [XREF] mmp$invalidate_segment
    (    segment_number: ost$segment;
         validating_ring_number: ost$valid_ring;
         shared_taskid_array: ^array [1 .. *] of pmt$task_id;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc OSD$VIRTUAL_ADDRESS
*copyc OST$STATUS
*copyc PMT$TASK_ID
?? POP ??
