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)))
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
in
loop Ksymmap.empty ksymtab in
- ksymmap
+ Some ksymmap
in
if debug then (
(end_t -. start_t)
);
- ((image, ksymmap) : image1)
+ (image, ksymmap)