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
Remove old searching (Method 2) code from virt-ps.
[virt-mem.git]
/
ps
/
virt_ps.ml
diff --git
a/ps/virt_ps.ml
b/ps/virt_ps.ml
index
065b4c3
..
fc752fe
100644
(file)
--- a/
ps/virt_ps.ml
+++ b/
ps/virt_ps.ml
@@
-21,9
+21,11
@@
open Printf
open Virt_mem_gettext.Gettext
open Virt_mem_utils
open Virt_mem_gettext.Gettext
open Virt_mem_utils
-open Virt_mem_
mmap
+open Virt_mem_
types
-let run debug images = ()
+
+let run debug ({ mem = mem }, ksymmap, _) =
+ ()
let summary = s_"list processes in virtual machine"
let description = s_"\
let summary = s_"list processes in virtual machine"
let description = s_"\