Index: kernel/arch/amd64/include/cpu.h
===================================================================
--- kernel/arch/amd64/include/cpu.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/arch/amd64/include/cpu.h	(revision f429331b6108df4294a421a92f3e9aaa64d95732)
@@ -58,5 +58,5 @@
 #include <arch/pm.h>
 
-struct cpu_arch {
+typedef struct {
 	int vendor;
 	int family;
@@ -66,5 +66,5 @@
 	
 	count_t iomapver_copy;	/** Copy of TASK's I/O Permission bitmap generation count. */
-};
+} cpu_arch_t;
 
 struct star_msr {
Index: kernel/arch/amd64/include/cpuid.h
===================================================================
--- kernel/arch/amd64/include/cpuid.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/arch/amd64/include/cpuid.h	(revision f429331b6108df4294a421a92f3e9aaa64d95732)
@@ -47,10 +47,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;
 
 extern int has_cpuid(void);
Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/arch/amd64/src/amd64.c	(revision f429331b6108df4294a421a92f3e9aaa64d95732)
@@ -104,5 +104,5 @@
 void arch_pre_mm_init(void)
 {
-	struct cpu_info cpuid_s;
+	cpu_info_t cpuid_s;
 
 	cpuid(AMD_CPUID_EXTENDED,&cpuid_s);