From 9a6868d5657e17b8d57896888f5198c5ab6c4bd4 Mon Sep 17 00:00:00 2001
From: Pawel Dziepak <pdziepak@quarnos.org>
Date: Thu, 26 Dec 2013 19:55:33 +0100
Subject: [PATCH] x86: Fix build with kernel debugging disabled

---
 src/system/kernel/arch/x86/arch_smp.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/system/kernel/arch/x86/arch_smp.cpp b/src/system/kernel/arch/x86/arch_smp.cpp
index bb95501f38..e9d4b4c545 100644
--- a/src/system/kernel/arch/x86/arch_smp.cpp
+++ b/src/system/kernel/arch/x86/arch_smp.cpp
@@ -10,6 +10,7 @@
 
 #include <boot/kernel_args.h>
 #include <vm/vm.h>
+#include <cpu.h>
 #include <int.h>
 #include <smp.h>
 #include <smp_priv.h>