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

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