
  TYPE
    mmt$rb_ring1_server_seg_request = RECORD
      reqcode: ALIGNED [0 MOD 8] syt$monitor_request_code,
      sfid: gft$system_file_identifier,
      CASE request: mmt$server_segment_request OF
      = mmc$ssr1_free_delete_seg_sfid, mmc$ssr1_flush_delete_seg_sfid =
        pages_not_deleted: integer,
      = mmc$ssr1_move_modified_df_page =
        destination_pva: ^cell,                  {input}
        byte_offset: ost$segment_offset,         {output}
        status: syt$monitor_status,              {output}
      CASEND,
    RECEND;

  TYPE
    mmt$server_segment_request = (mmc$ssr1_free_delete_seg_sfid, mmc$ssr1_flush_delete_seg_sfid,
          mmc$ssr1_move_modified_df_page);

*copyc gft$system_file_identifier
*copyc osd$virtual_address
*copyc syc$monitor_request_codes
*copyc syt$monitor_status
