From c521f2a1380944fb4c4672b4d658451a902d6863 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Mon, 4 Oct 2010 19:12:55 +0000
Subject: [PATCH] kernel: fix idle time accounting.

---
 kernel/system/do_getinfo.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/system/do_getinfo.c b/kernel/system/do_getinfo.c
index 5bcfc9b31..e640a8bcb 100644
--- a/kernel/system/do_getinfo.c
+++ b/kernel/system/do_getinfo.c
@@ -24,6 +24,8 @@ PRIVATE void update_idle_time(void)
 	int i;
 	struct proc * idl = proc_addr(IDLE);
 
+	idl->p_cycles = make64(0, 0);
+
 	for (i = 0; i < CONFIG_MAX_CPUS ; i++) {
 		idl->p_cycles = add64(idl->p_cycles,
 				get_cpu_var(i, idle_proc).p_cycles);