git.annexia.org
/
virt-mem.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Extract 'struct net' (for net namespaces).
[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;
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
| (_, (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
in
loop Ksymmap.empty ksymtab in
- ksymmap
+
Some
ksymmap
in
if debug then (
in
if debug then (
@@
-186,4
+186,4
@@
let find_kernel_symbols debug ({ mem = mem; domname = domname } as image) =
(end_t -. start_t)
);
(end_t -. start_t)
);
- (
(image, ksymmap) : image1
)
+ (
image, ksymmap
)