

  PROCEDURE [XREF] pmp$delete_environment_r2
    (    condition_ring: ost$ring;
         critical_frame: ^ost$stack_frame_save_area;
     VAR status: ost$status);


*copyc osd$virtual_address
*copyc ost$stack_frame_save_area
*copyc ost$status
