{ This request is used to unlock page frames which were previously
{ locked via a MMP$BUILD_LOCK_RMA_LIST request. The 'used' and 'modified' bits
{ in the page table entry for each page frame are updated according to the
{ type of IO done into the page frames. All tasks queued waiting for the
{ page frames because of page faults are made ready when the page frames are
{ unlocked.
{ The 'active_io_page_count' of the job owning the pages is decremented.  The
{ 'inhibit_swap_count' of the job is also decremented unless the IO was a
{ write to a local file.  If the 'inhibit_swap_count' goes to zero for the
{ job and the job is being swapped out, the job swapping task is made ready.
{ If the job is swapped and a write error occurs on a local file, the page is put
{ into the io error while swapped queue.  A call is made to ready the task so the
{ job can swap in and reclaim the page.
{
{ NOTE:  THE LIST THAT IS UNLOCKED MUST BE EXACTLY THE SAME LIST THAT WAS
{        LOCKED BY MMP$BUILD_LOCK_RMA_LIST
{
{
{     MMP$UNLOCK_RMA_LIST (IO_TYPE, LIST_P, LIST_LENGTH, IO_ID, MF_JOB_FILE,
{         IO_ERROR, STATUS);
{
{  IO_TYPE: (input) This parameter specifies the type of IO that has
{         taken place into the page frames. The value of this
{         parameter should agree with the <io_type> passed on the
{         MMP$BUILD_LOCK_RMA_LIST request.
{  LIST_P: (input) This parameter points to an array which
{         defines the page frames to be unlocked. This MUST be the same
{         list returned on the MMP$BUILD_LOCK_RMA_LIST request.
{         Several locked lists CANNOT be grouped together to be unlocked
{         by mmp$unlock_rma_list.
{  LIST_LENGTH: (input) This parameter specifies the number of entries
{         in the RMA list. An RMA list entry that contains a 'length' of zero
{         will terminate the list even though more entries remain.
{  IO_ID: (input) This parameter is used to specify an io identifier that MM
{         uses during request processing.
{  MF_JOB_FILE: (input) This specifies whether or not the file is a local
{         file.
{  IO_ERROR: (input,output) This specifies how the IO to/from the pages
{         terminated.  Page manager uses this parameter
{         together with <io_type> to determine how to update the
{         'used' and 'modified' bits in the page table.
{         For local file writes, ioc$no_error is returned if the error is
{         processed.
{  STATUS: (output) This parameter specifies the request status.
{         No error codes are returned.  All error will result in a call to
{         mtp$error_stop.
{

