Updated kernel structures & kerneldb.

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

diff --git a/lib/virt_mem_ksyms.ml b/lib/virt_mem_ksyms.ml
index 32031fb..0c4daf7 100644 (file)
--- a/lib/virt_mem_ksyms.ml
+++ b/lib/virt_mem_ksyms.ml
@@ -131,7 +131,7 @@ let find_kernel_symbols debug ({ mem = mem; domname = domname } as image) =
     List.iter (
       fun (addr, size) ->
        eprintf "\t%Lx\t%Lx\t%!" addr size;
-       eprintf "first symbol: %s\n%!"
+       eprintf "first symbol: %S\n%!"
          (Virt_mem_mmap.get_string mem
             (Virt_mem_mmap.follow_pointer mem
                (Virt_mem_mmap.succ_long mem addr)))
@@ -146,7 +146,7 @@ let find_kernel_symbols debug ({ mem = mem; domname = domname } as image) =
     match freqs with
     | [] ->
        eprintf (f_"%s: cannot find start of kernel symbol table\n") domname;
-       Ksymmap.empty
+       None
 
     | (_, (ksymtab_addr, ksymtab_size)) :: _ ->
        if debug then
@@ -177,7 +177,7 @@ let find_kernel_symbols debug ({ mem = mem; domname = domname } as image) =
          in
          loop Ksymmap.empty ksymtab in
 
-       ksymmap
+       Some ksymmap
   in
 
   if debug then (
@@ -186,4 +186,4 @@ let find_kernel_symbols debug ({ mem = mem; domname = domname } as image) =
       (end_t -. start_t)
   );
 
-  ((image, ksymmap) : image1)
+  (image, ksymmap)