X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=ps%2Fvirt_ps.ml;h=fc752fe97b31d5282b9a250afc46d52c68f2db92;hb=3e697c7eb18283909d425e3008654e5deba11343;hp=065b4c36ec59a69e5bdba1709a9999cf85ce433e;hpb=97131d94f5513b732f8f8d310984e71d8201cadf;p=virt-mem.git diff --git a/ps/virt_ps.ml b/ps/virt_ps.ml index 065b4c3..fc752fe 100644 --- 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_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_"\