Dynamic version, working.
[virt-mem.git] / lib / virt_mem.ml
index 2ed0c5a..7943797 100644 (file)
@@ -579,8 +579,9 @@ Possibly the '-T' command line parameter was used inconsistently.");
                Bitstring.bitstring_of_string bits
              in
              let init_task = Ksymmap.find "init_task" ksyms in
+             let map = Kernel.AddrMap.empty in
              let map =
-               Kernel.task_struct_follower kversion load init_task in
+               Kernel.task_struct_follower kversion load map init_task in
 
              (*
              let image, tasks =
@@ -611,8 +612,9 @@ Possibly the '-T' command line parameter was used inconsistently.");
              let map =
                try
                  let dev_base = Ksymmap.find "dev_base" ksyms in
+                 let map = Kernel.AddrMap.empty in
                  let map =
-                   Kernel.net_device_follower kversion load dev_base in
+                   Kernel.net_device_follower kversion load map dev_base in
                  Some map
                with Not_found ->
                  try
@@ -622,8 +624,9 @@ Possibly the '-T' command line parameter was used inconsistently.");
                  with Not_found ->
                    try
                      let init_net = Ksymmap.find "init_net" ksyms in
+                     let map = Kernel.AddrMap.empty in
                      let map =
-                       Kernel.net_follower kversion load init_net in
+                       Kernel.net_follower kversion load map init_net in
                      Some map
                    with Not_found ->
                      eprintf (f_"%s: cannot find dev_base, dev_base_head or init_net symbols in kernel image.\n") !image.domname;