nova: report CPU idle times using genode cpu ids

Fixes #2517
2017-09-08 12:48:16 +02:00 · 2017-09-08 12:48:16 +02:00 · 5336ba4b8c
parent d3f5a369a7
commit 5336ba4b8c
1 changed files with 1 additions and 1 deletions
--- a/repos/base-nova/src/core/platform.cc
+++ b/repos/base-nova/src/core/platform.cc
@ -780,7 +780,7 @@ Platform::Platform() :
 		};

 		Idle_trace_source *source = new (core_mem_alloc())
-			Idle_trace_source(Affinity::Location(kernel_cpu_id, 0,
+			Idle_trace_source(Affinity::Location(genode_cpu_id, 0,
 			                                     _cpus.width(), 1),
 			                  sc_idle_base + kernel_cpu_id);