
  PROCEDURE [XREF] mmp$page_pull
    (   xsva: ost$system_virtual_address;
        fde_p: gft$locked_file_desc_entry_p;
        cst_p: ^ost$cpu_state_table;
        aste_p: ^mmt$active_segment_table_entry;
        stxe_p: ^mmt$segment_descriptor_extended;
        io_id: mmt$io_identifier;
        pages_to_read: integer;
        io_function: iot$io_function;
        allocate_if_new: boolean;
    VAR page_count: mmt$page_frame_index;
    VAR pstatus: mmt$page_pull_status;
    VAR pfti: mmt$page_frame_index);

?? PUSH (LISTEXT := ON) ??
*copyc gft$locked_file_desc_entry_p
*copyc iot$io_function
*copyc ost$cpu_state_table
*copyc mmt$active_segment_table
*copyc mmt$segment_descriptor_table_ex
*copyc mmt$io_identifier
*copyc mmt$page_frame_index
*copyc ost$hardware_subranges
*copyc mmt$page_pull_status
?? POP ??
