Index: arch/ia32/src/cpu/cpu.c
===================================================================
--- arch/ia32/src/cpu/cpu.c	(revision 8262010e7e7fe13508b9f3ccd85fc91dc8978f35)
+++ arch/ia32/src/cpu/cpu.c	(revision ad36bd6b718c19bc3e77af6d6f92441a3d17a4d1)
@@ -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",