diff --git a/src/cpu/x86seg.c b/src/cpu/x86seg.c
index 5a69c1ddb..d53ee8a83 100644
--- a/src/cpu/x86seg.c
+++ b/src/cpu/x86seg.c
@@ -36,6 +36,8 @@
 #include "386_common.h"
 
 
+extern FILE *stdlog;
+
 /*Controls whether the accessed bit in a descriptor is set when CS is loaded.*/
 #define CS_ACCESSED