git.annexia.org
/
virt-mem.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Updated kernel structs.
[virt-mem.git]
/
lib
/
virt_mem_dump.ml
diff --git
a/lib/virt_mem_dump.ml
b/lib/virt_mem_dump.ml
index
615bc34
..
8135fcd
100644
(file)
--- a/
lib/virt_mem_dump.ml
+++ b/
lib/virt_mem_dump.ml
@@
-42,7
+42,7
@@
let argcheck debug =
)
(* Capture the image. *)
)
(* Capture the image. *)
-let rec run debug
image kdata
=
+let rec run debug
kimage
=
let start_addr = !start_addr in
let size = !size in
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. *)
| 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
k
image.mem start_addr size in
+ let
k
image =
if not is_mapped then
if not is_mapped then
- load_memory image start_addr size
+ load_memory
k
image start_addr size
else
else
- image in
+
k
image in
(* Get the bytes. *)
(* Get the bytes. *)
- let bytes = Virt_mem_mmap.get_bytes image.mem start_addr size in
+ let bytes = Virt_mem_mmap.get_bytes
k
image.mem start_addr size in
hexdump stdout start_addr bytes size
hexdump stdout start_addr bytes size