{ DECK: DFT$PAGE_IO_REQUEST.
{ This deck describes the format of the record which follows the buffer header
{ record in the receive buffer. This buffer is received by the server as
{ a request for page I/O.

  TYPE
    dft$page_io_request = record
      segment_offset: ost$segment_offset,
      segment_length: ost$segment_length,
      global_file_name: dmt$global_file_name,
      eoi_byte_address: amt$file_byte_address,
      remote_sfid: gft$system_file_identifier,
    recend;

*copyc osd$virtual_address
*copyc amt$file_byte_address
*copyc dmt$global_file_name
*copyc gft$system_file_identifier
