
  PROCEDURE [XREF] mmp$process_wmp_status (wmp_status: mmt$write_modified_pages_status;
        last_written_pfti: mmt$page_frame_index;
        rb_wait: ost$wait;
        VAR rb_init_new_io: boolean;
        VAR rb_status: syt$monitor_status);

?? PUSH (LISTEXT := ON) ??
*copyc mmt$write_modified_pages_status
*copyc mmt$page_frame_index
*copyc ost$wait
*copyc syt$monitor_status
?? POP ??
