{
{ The purpose of this procedure is insure that modified portions of
{ real memory are written to backing storage.  All modified pages
{ totally or partially contained within the range of addresses
{ specified by <pva> to <pva>+<length> will be written to disk.
{ A call to this procedure cannot come from above ring 6.
{
{
{      MMP$WRITE (PVA, LENGTH, REMOVE, IOSTATUS_P, WAIT, STATUS)
{
{ PVA: (input) This parameter specifies the beginning address of the
{      data to examine for modified pages.  Modified pages will be
{      written to backing storage.
{
{ LENGTH: (input) This parameter specifies the number of bytes to be
{      examined for modified pages.  The maximum request length is
{      65536 bytes; if the length is longer, the condition
{      mme$request_length_too_long
{      will be returned in the status variable.  If the length is enough to
{      cause a request to span a segment boundary, then the condition
{      mme$invalid_pva_formed will be returned.
{
{ REMOVE: (input) This parameter specifies whether to remove the pages
{      from the working set when the request completes.
{
{ IOSTATUS_P: (input) This parameter specifies the address of
{      the IO status variable.  Possible values for the request_status are:
{        mmc$irs_active
{        mmc$irs_complete
{        mmc$irs_none
{      If iostatus_p^.request_status is set to mmc$irs_complete,
{      then possible values for the condition field are:
{        0--indicates i/o completed without error
{        ioc$unrecovered_disk_error
{        ioc$disk_media_error
{
{ WAIT: (input) This parameter specifies whether to wait for
{      completion of the request or to return to the user immediately
{      after initiating the required IO. If the user does not wish to
{      wait, the user may later issue a MMP$CHECK_IO_STATUS request
{      to determine the status of the MMP$WRITE request.
{
{ STATUS: (output) This parameter specifies the request status.
{      Possible error codes are:
{        mme$request_length_too_long
{        mme$invalid_pva_formed
{        mme$invalid_pva
{        mme$ref_to_unrecovered_file
{        mme$segment_not_pageable
{        mme$segment_not_assigned_device
{        dfe$server_has_terminated
{      If status.normal is FALSE, then iostatus_p^.request_status will be
{      set to mmc$irs_none.
{
