X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=ps%2Fvirt_ps.ml;h=df876bac1ff1ffb6bcfddfef2c13b64a83877fb8;hp=d18ff48b984bcc8650aa29d69ff6019f2e7b358f;hb=643e58b5e26c18f2cfc1c7b9aa676cb44feee847;hpb=317bd2f27b9117553f3a3aafd5b51c5cc211730b

diff --git a/ps/virt_ps.ml b/ps/virt_ps.ml
index d18ff48..df876ba 100644
--- a/ps/virt_ps.ml
+++ b/ps/virt_ps.ml
@@ -222,11 +222,8 @@ let search debug mem lookup_ksym =
   let ts = loop 0 0 in
   ()
 
-let run debug images =
-  List.iter (
-    fun (domid, domname, arch, mem, lookup_ksym) ->
-      search debug mem lookup_ksym
-  ) images
+let run debug (_, _, _, mem, lookup_ksym, _) =
+  search debug mem lookup_ksym
 
 let summary = s_"list processes in virtual machine"
 let description = s_"\