1 files changed, 3 insertions, 1 deletions

diff --git a/firmware/kernel.c b/firmware/kernel.c
index ee42574055..588bbd2a75 100644
--- a/firmware/kernel.c
+++ b/firmware/kernel.c
@@ -68,7 +68,9 @@ void (*tick_funcs[MAX_NUM_TICK_TASKS+1])(void);
 static struct
 {
     struct event_queue *queues[MAX_NUM_QUEUES+1];
-    IF_COP( struct corelock cl; )
+#ifdef HAVE_CORELOCK_OBJECT
+    struct corelock cl;
+#endif
 } all_queues SHAREDBSS_ATTR;
 
 /****************************************************************************