Index: arch/ia32/src/cpu/cpu.c
===================================================================
--- arch/ia32/src/cpu/cpu.c	(revision 8262010e7e7fe13508b9f3ccd85fc91dc8978f35)
+++ arch/ia32/src/cpu/cpu.c	(revision 434f70064e8cdd91151e8fb0d22ace8f4eeb9ccc)
@@ -105,5 +105,5 @@
 }
 
-void cpu_print_report(struct cpu* m)
+void cpu_print_report(cpu_t* m)
 {
 	printf("cpu%d: (%s family=%d model=%d stepping=%d) %dMHz\n",