procfs - export extra kernel time accounting fields

diff --git a/servers/procfs/pid.c b/servers/procfs/pid.c
index 88a9868aa20bf42f4d4d23a1960161f6e7aee056..58176867834d9aa6bea97f1746f35ea9a6b5a83a 100644 (file)
--- a/servers/procfs/pid.c
+++ b/servers/procfs/pid.c
@@ -168,6 +168,13 @@ PRIVATE void pid_psinfo(int i)
                );
        }
 
+       /* always add kernel cycles */
+       buf_printf(" %lu %lu %lu %lu",
+               ex64hi(proc[i].p_kipc_cycles),
+               ex64lo(proc[i].p_kipc_cycles),
+               ex64hi(proc[i].p_kcall_cycles),
+               ex64lo(proc[i].p_kcall_cycles));
+
        /* Newline at the end of the file. */
        buf_printf("\n");
 }