
  TYPE
    dst$nve_image_descriptor = record
      rcv_mps: ost$real_memory_address,
      rcv_jps: ost$real_memory_address,
      rcv_system_job_mtr_jps: ost$real_memory_address,
      rcv_page_frame_tbl_p: ^mmt$page_frame_table,
      rcv_hash_tbl_p: ^mmt$old_modified_bits,
      rcv_mfw_asid_p: ^mmt$mainframe_wired_asid,
      rcv_page_size: ost$page_size,
      rcv_load_offset: ost$real_memory_address,
      rcv_nve_image_length: ost$byte_count,
      rcv_mainframe_wired_segment: ^SEQ ( * ),
      nve_image: ^SEQ ( * ),
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc OST$PAGE_SIZE
*copyc MMT$PAGE_FRAME_TABLE
*copyc MMT$OLD_MODIFIED_BITS
*copyc MMT$MAINFRAME_WIRED_ASID
*copyc OST$HARDWARE_SUBRANGES
?? POP ??
