X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=ps%2Fvirt_ps.ml;h=41e8af7ab00dd09af3a0eb79e4531eed0c8bce4b;hb=d364928091992d4911e41bb704dfcc8994bdc5c4;hp=065b4c36ec59a69e5bdba1709a9999cf85ce433e;hpb=97131d94f5513b732f8f8d310984e71d8201cadf;p=virt-mem.git diff --git a/ps/virt_ps.ml b/ps/virt_ps.ml index 065b4c3..41e8af7 100644 --- a/ps/virt_ps.ml +++ b/ps/virt_ps.ml @@ -21,9 +21,12 @@ 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_"\