{
{ NAME:
{   MMP$MM_MOVE_MOD_SERVER_PAGE
{
{ PURPOSE:
{   This procedure makes a request to move a single modified page from a source
{ file to a destination file.  Only modified pages of the server file are moved;
{ non-modified pages are discarded.  It is used to update the server image file
{ on the client in the case of a server crash.  The procedure executes in job
{ mode in a system task which writes the server image file with pages from all
{ of the currently attached server files.
{
{ ASSUMPTIONS:
{   The following assumptions are made in designing this interface:
{        . The state of the server will not change while this request is
{          removing pages
{        . The destination file (as specified by "destination_pva") is not on
{          the server
{        . All space for the destination file must be preallocated
{        . A page has not already been assigned to the destination pva
{        . Access to the server file whose page is being moved has been
{          inhibited by the SDTX access state
{        . The "destination_pva" is on a page boundry
{        . All server IO on the file has been dequeued and pages associated with
{          server IO have been unlocked
{        . This procedure is called only in the system job
{        . The File Descriptor for the file is expected to be locked and will
{          remain so during the monitor call
{
{         PROCEDURE [XDCL] mmp$mm_move_mod_server_page
{           (    sfid: gft$system_file_identifier;
{                destination_pva: ^cell;
{            VAR byte_offset: ost$segment_offset;
{            VAR status: ost$status);
{
{   SFID: (INPUT) Specifies the System File ID of the file whose pages must be
{     moved to the destination file.
{   DESTINATION_PVA: (INPUT) Specifies the location within the server image file
{     to which a located modified page will be written.
{   BYTE_OFFSET: (OUTPUT) Specifies the beginning offset of the located page
{     which has been moved.
{   STATUS: (OUTPUT) Status processing.  Conditions which can be returned are:
{     mme$io_active_on_move_page      (retry)
{     mme$no_pages_found_for_move     (normal exit condition)
{     mme$page_table_full             (retry)
{
