From 31ac007cb5aaec62abe80a086ccc88a065820f38 Mon Sep 17 00:00:00 2001
From: Masamichi Takagi <masamichi.takagi@riken.jp>
Date: Mon, 5 Feb 2018 09:38:16 +0900
Subject: [PATCH] uti: Increase CPU_HZ to 1000

Change-Id: I8619263845fd8ebabe6fc7de619a5b51ac04470a
---
 kernel/process.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/process.c b/kernel/process.c
index d765c8f3..c3217e31 100644
--- a/kernel/process.c
+++ b/kernel/process.c
@@ -3052,7 +3052,7 @@ set_timer()
 	/* Toggle timesharing if CPU core is oversubscribed */
 	if (v->runq_len > 1 || v->current->itimer_enabled) {
 		if (!cpu_local_var(timer_enabled)) {
-			lapic_timer_enable(10000000);
+			lapic_timer_enable(/*10000000*/1000000);
 			cpu_local_var(timer_enabled) = 1;
 		}
 	}