1 (* Memory info for virtual domains.
2 (C) Copyright 2008 Richard W.M. Jones, Red Hat Inc.
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software
17 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
22 open Virt_mem_gettext.Gettext
27 open Kernel_task_struct
29 let run debug { domname = domname; mem = mem } { tasks = tasks } =
30 let tasks = Option.get tasks in
32 (* Sort tasks by PID. *)
33 let cmp { task_pid = p1 } { task_pid = p2 } = compare p1 p2 in
34 let tasks = List.sort cmp tasks in
36 printf " PID STAT COMMAND\n";
40 printf "%5Ld %s\n" task.task_pid task.task_comm
44 let run debug _ _ = ()
46 let summary = s_"list processes in virtual machine"
47 let description = s_"\
48 virt-ps prints a process listing for virtual machines running under
52 Virt_mem.register "ps" summary description ~needs_tasks:true ~run