commit ffb04e4eb9ac10b3d22d35b0cfa3dc198436998b
author Curtis Millar <curtis@curtism.me> Tue Nov 10 16:29:37 2020 +1100
committer Curtis Millar <curtis@curtism.me> Tue Nov 10 16:30:00 2020 +1100
tree bdec3d77b1516096ff356a0b50014d3385c522ce
parent 74de7febfdf927d169bc433f736a5c2b8e30725b

trivial: Use libsel4 define for logbuffer

Signed-off-by: Curtis Millar <curtis@curtism.me>

libsel4bench/include/sel4bench/kernel_logging.h

diff --git a/libsel4bench/include/sel4bench/kernel_logging.h b/libsel4bench/include/sel4bench/kernel_logging.h
index faa72ad..441ce63 100644
--- a/libsel4bench/include/sel4bench/kernel_logging.h
+++ b/libsel4bench/include/sel4bench/kernel_logging.h
@@ -12,6 +12,7 @@
 
 #pragma once
 
+#include <sel4/config.h>
 #include <sel4/types.h>
 #include <sel4/arch/constants.h>
 #include <sel4/simple_types.h>
@@ -101,9 +102,9 @@
 static inline seL4_Error
 kernel_logging_set_log_buffer(seL4_CPtr logBuffer_cap)
 {
-#ifdef CONFIG_BENCHMARK_USE_KERNEL_LOG_BUFFER
+#ifdef CONFIG_KERNEL_LOG_BUFFER
     return seL4_BenchmarkSetLogBuffer(logBuffer_cap);
 #else
     return seL4_NoError;
-#endif /* CONFIG_BENCHMARK_USE_KERNEL_LOG_BUFFER */
+#endif /* CONFIG_KERNEL_LOG_BUFFER */
 }