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)