- (* XXX At the moment, CONTRARY to what it says in the manual, we
- * are only able to dump out raw data. We don't save the header,
- * start address, etc. (which we should do). XXX
- *)
- assert (Virt_mem_mmap.nr_mappings mem = 1);
-
- Virt_mem_mmap.iter mem (
- fun start size ->
- let bytes = Virt_mem_mmap.get_bytes mem start (Int64.to_int size) in
- output_string chan bytes
- );