Index: kernel/arch/ia32/include/cpu.h
===================================================================
--- kernel/arch/ia32/include/cpu.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/arch/ia32/include/cpu.h	(revision 62c63fc1e28ff7b487c370d09617342a5d5ecb43)
@@ -43,5 +43,5 @@
 #define EFLAGS_RF       (1 << 16)
 
-struct cpu_arch {
+typedef struct {
 	int vendor;
 	int family;
@@ -51,5 +51,5 @@
 	
 	count_t iomapver_copy;  /** Copy of TASK's I/O Permission bitmap generation count. */
-};
+} cpu_arch_t;
 
 
Index: kernel/arch/ia32/include/cpuid.h
===================================================================
--- kernel/arch/ia32/include/cpuid.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/arch/ia32/include/cpuid.h	(revision 62c63fc1e28ff7b487c370d09617342a5d5ecb43)
@@ -38,10 +38,10 @@
 #include <arch/types.h>
 
-struct cpu_info {
+typedef struct {
 	uint32_t cpuid_eax;
 	uint32_t cpuid_ebx;
 	uint32_t cpuid_ecx;
 	uint32_t cpuid_edx;
-} __attribute__ ((packed));
+} __attribute__ ((packed)) cpu_info_t;
 
 struct __cpuid_extended_feature_info {
@@ -98,5 +98,5 @@
 }
 
-static inline void cpuid(uint32_t cmd, struct cpu_info *info)
+static inline void cpuid(uint32_t cmd, cpu_info_t *info)
 {
 	__asm__ volatile (