X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem_capture.ml;h=154f76d709b17bd3f0c301a3cd05adac6ad36fb8;hb=f515867f07955345c801e13e6667485667cfc199;hp=29f746627497217ae50ddb82e95ebacee523a294;hpb=e3b79ee907537feec9274b1bfab7e450fc97dbcf;p=virt-mem.git diff --git a/lib/virt_mem_capture.ml b/lib/virt_mem_capture.ml index 29f7466..154f76d 100644 --- 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;