X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem_dump.ml;h=8135fcd150f78b59fd524da98cdaf34d79a5f5bd;hb=20ccce7fb55e81b6b8dd7d25512c4c1e215aea53;hp=615bc3425373f6ebab24e96eeb6a908115e47c78;hpb=42e00a80ffdfa58b409fad7916ad581d02d5a929;p=virt-mem.git diff --git a/lib/virt_mem_dump.ml b/lib/virt_mem_dump.ml index 615bc34..8135fcd 100644 --- a/lib/virt_mem_dump.ml +++ b/lib/virt_mem_dump.ml @@ -42,7 +42,7 @@ let argcheck debug = ) (* Capture the image. *) -let rec run debug image kdata = +let rec run debug kimage = let start_addr = !start_addr in let size = !size in @@ -56,15 +56,15 @@ let rec run debug image kdata = | Some size -> size in (* Load the memory. *) - let is_mapped = Virt_mem_mmap.is_mapped_range image.mem start_addr size in - let image = + let is_mapped = Virt_mem_mmap.is_mapped_range kimage.mem start_addr size in + let kimage = if not is_mapped then - load_memory image start_addr size + load_memory kimage start_addr size else - image in + kimage in (* Get the bytes. *) - let bytes = Virt_mem_mmap.get_bytes image.mem start_addr size in + let bytes = Virt_mem_mmap.get_bytes kimage.mem start_addr size in hexdump stdout start_addr bytes size