  PROCEDURE [XREF] mmp$mm_write_modified_pages
    (    sva: ost$system_virtual_address;
         length: ost$segment_length;
         fde_p: gft$locked_file_desc_entry_p;
         aste_p: ^mmt$active_segment_table_entry;
         iotype: iot$io_function;
         init_new_io: boolean;
         remove_page: boolean;
         io_id: mmt$io_identifier;
     VAR io_count: mmt$active_io_count;
     VAR io_already_active: boolean;
     VAR last_written_pfti: mmt$page_frame_index;
     VAR wmp_status: mmt$write_modified_pages_status);

?? PUSH (LISTEXT := ON) ??
*copyc gft$locked_file_desc_entry_p
*copyc iot$io_function
*copyc mmt$active_segment_table
*copyc mmt$io_identifier
*copyc mmt$page_frame_index
*copyc mmt$write_modified_pages_status
*copyc mmt$rb_memory_manager_io
*copyc osd$virtual_address
*copyc ost$hardware_subranges
?? POP ??

