Index: kernel/arch/ia32/include/cpuid.h
===================================================================
--- kernel/arch/ia32/include/cpuid.h	(revision f36c0612f3b35eda123160a44758f1d7e9fa7d4a)
+++ kernel/arch/ia32/include/cpuid.h	(revision 82bb9c121efbe640882ffd5dbdc9101eb995d0fa)
@@ -35,4 +35,11 @@
 #ifndef KERN_ia32_CPUID_H_
 #define KERN_ia32_CPUID_H_
+
+#define INTEL_CPUID_LEVEL     0x00000000
+#define INTEL_CPUID_STANDARD  0x00000001
+#define INTEL_PSE             3
+#define INTEL_SEP             11
+
+#ifndef __ASM__
 
 #include <arch/types.h>
@@ -105,4 +112,5 @@
 }
 
+#endif /* !def __ASM__ */
 #endif