  PROCEDURE [XREF] mmp$write_page_to_disk
    (   fde_p: gft$locked_file_desc_entry_p;
        pfti: mmt$page_frame_index;
        iotype: iot$io_function;
        io_id: mmt$io_identifier;
        multiple_page_req: boolean;
    VAR write_status: mmt$write_page_to_disk_status);

?? PUSH (LISTEXT := ON) ??
*copyc gft$locked_file_desc_entry_p
*copyc MMT$PAGE_FRAME_INDEX
*copyc IOT$IO_FUNCTION
*copyc MMT$WRITE_PAGE_TO_DISK_STATUS
*copyc MMT$IO_IDENTIFIER
?? POP ??
