From e7c6140cf061fc4e9432f445451e2b4231a711d5 Mon Sep 17 00:00:00 2001
From: Hesham Almatary <Hesham.Almatary@nicta.com.au>
Date: Wed, 27 Apr 2016 12:07:46 +1000
Subject: [PATCH] Benchmarks: Add definition of seL4_LogBufferSize to x86

Updates SELFOUR-446
---
 libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h b/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h
index 8f61bbc0c..70f480207 100644
--- a/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h
+++ b/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h
@@ -45,4 +45,9 @@
 
 #define seL4_WordBits (sizeof(seL4_Word) * 8)
 
+#if CONFIG_MAX_NUM_TRACE_POINTS > 0
+/* size of kernel log buffer in bytes */
+#define seL4_LogBufferSize (LIBSEL4_BIT(20))
+#endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
+
 #endif