Completed reimplementation of faster Virt_mem_mmap.

[virt-mem.git] / lib / virt_mem_capture.ml

diff --git a/lib/virt_mem_capture.ml b/lib/virt_mem_capture.ml
index 29f7466..154f76d 100644 (file)
--- a/lib/virt_mem_capture.ml
+++ b/lib/virt_mem_capture.ml
@@ -66,19 +66,9 @@ let rec beforeksyms debug = function
       ) images
 
 and save_image (_, domname, arch, mem) filename =
-  let chan = open_out filename in
+  assert false;
 
-  (* 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
-  );
+  let chan = open_out filename in
 
   close_out chan;