From 5336ba4b8c092e1846f5ece6bd11c97c8d531db4 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 8 Sep 2017 12:48:16 +0200 Subject: [PATCH] nova: report CPU idle times using genode cpu ids Fixes #2517 --- repos/base-nova/src/core/platform.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-nova/src/core/platform.cc b/repos/base-nova/src/core/platform.cc index 840dda9eb2..d9902b92c3 100644 --- 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);