Refactored, process table now loaded centrally.

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

diff --git a/lib/virt_mem_ksyms.ml b/lib/virt_mem_ksyms.ml
index 32031fb..4389983 100644 (file)
--- a/lib/virt_mem_ksyms.ml
+++ b/lib/virt_mem_ksyms.ml
@@ -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)