--- i386/i386/support.s	Tue Aug 15 15:21:34 2006
+++ i386/i386/support.s	Tue Aug 15 15:20:09 2006
@@ -37,6 +37,7 @@
 #include <machine/pmap.h>
 #include <machine/specialreg.h>
 
+#include "opt_global.h"
 #include "assym.s"
 
 #define IDXSHIFT	10