benchmark: move ksUserLogBuffer declaration

Signed-off-by: Axel Heider <[email protected]>
axel-h · Jul 8, 2024 · 44780d3 · 44780d3
1 parent 406934f
commit 44780d3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 8 deletions.
diff --git a/src/benchmark/benchmark.c b/src/benchmark/benchmark.c
@@ -5,9 +5,6 @@
  */
 
 #include <config.h>
-
-#ifdef CONFIG_ENABLE_BENCHMARKS
-
 #include <types.h>
 #include <mode/machine.h>
 #include <benchmark/benchmark.h>
@@ -22,6 +19,11 @@ seL4_Word ksLogIndex = 0;
 paddr_t ksUserLogBuffer;
 #endif /* CONFIG_KERNEL_LOG_BUFFER */
 
+#if defined(CONFIG_DEBUG_BUILD) || defined(CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES)
+#include <sel4/benchmark_track_types.h>
+kernel_entry_t ksKernelEntry;
+#endif /* CONFIG_DEBUG_BUILD || CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES */
+
 #if defined(CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES) || defined(CONFIG_BENCHMARK_TRACK_UTILISATION)
 timestamp_t ksEnter;
 #endif /* CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES CONFIG_BENCHMARK_TRACK_UTILISATION */
@@ -96,6 +98,7 @@ void trace_point_stop(word_t id)
 
 #endif /* ENABLE_KERNEL_TRACEPOINTS */
 
+#ifdef CONFIG_ENABLE_BENCHMARKS
 
 exception_t handle_SysBenchmarkFlushCaches(void)
 {

diff --git a/src/model/statedata.c b/src/model/statedata.c
@@ -12,7 +12,6 @@
 #include <model/smp.h>
 #include <object/structures.h>
 #include <object/tcb.h>
-#include <benchmark/benchmark_track.h>
 
 /* Collective cpu states, including both pre core architecture dependant and independent data */
 SMP_STATE_DEFINE(smpStatedata_t, ksSMP[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE));
@@ -104,7 +103,3 @@ SECTION("._idle_thread") char ksIdleThreadTCB[CONFIG_MAX_NUM_NODES][BIT(seL4_TCB
 /* Idle thread Schedcontexts */
 char ksIdleThreadSC[CONFIG_MAX_NUM_NODES][BIT(seL4_MinSchedContextBits)] ALIGN(BIT(seL4_MinSchedContextBits));
 #endif
-
-#if (defined CONFIG_DEBUG_BUILD || defined CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES)
-kernel_entry_t ksKernelEntry;
-#endif /* DEBUG */