#include <common.h>
 #include <command.h>
+#include <asm/processor.h>
 #include <asm/interrupt.h>
 
 /* Constructor for a conventional segment GDT (or LDT) entry */
         (((base)  & 0x00ffffffULL) << 16) |            \
         (((limit) & 0x0000ffffULL)))
 
-/* Simple and small GDT entries for booting only */
-
-#define GDT_ENTRY_32BIT_CS     2
-#define GDT_ENTRY_32BIT_DS     (GDT_ENTRY_32BIT_CS + 1)
-#define GDT_ENTRY_16BIT_CS     (GDT_ENTRY_32BIT_DS + 1)
-#define GDT_ENTRY_16BIT_DS     (GDT_ENTRY_16BIT_CS + 1)
-
 /*
  * Set up the GDT
  */
 
 
 #ifndef __ASM_PROCESSOR_H_
 #define __ASM_PROCESSOR_H_ 1
-/* Currently this header is unused in the i386 port
- * but some generic files #include <asm/processor.h>
- * so this file is a placeholder. */
+
+#define GDT_ENTRY_32BIT_CS     2
+#define GDT_ENTRY_32BIT_DS     (GDT_ENTRY_32BIT_CS + 1)
+#define GDT_ENTRY_16BIT_CS     (GDT_ENTRY_32BIT_DS + 1)
+#define GDT_ENTRY_16BIT_DS     (GDT_ENTRY_16BIT_CS + 1)
+
 #endif