X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem_ksyms.ml;h=438998303a2cb1ad1e7e1b517af5f7e3b59d5923;hb=4a4b430ff3113eb4f116121455da020c8f350029;hp=32031fb4d7e2a89cee5dfe40e6b7a2d603ba15d2;hpb=e7fad361d3dbf1689a22fdd1ae5f5579d6ef5fb0;p=virt-mem.git

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