diff --git a/sys/i386/i386/support.s b/sys/i386/i386/support.s
index c3ac17314019..618829fbb0e7 100644
--- a/sys/i386/i386/support.s
+++ b/sys/i386/i386/support.s
@@ -37,6 +37,7 @@
 #include <machine/pmap.h>
 #include <machine/specialreg.h>
 
+#include "opt_global.h"
 #include "assym.s"
 
 #define IDXSHIFT	10