Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 57d44dd9c17ddb49818d70775e58b45ccd3511fd)
@@ -136,5 +136,5 @@
 }
 
-void cpu_print_report(cpu_t* m)
+void cpu_print_report(cpu_t *m)
 {
 	printf("cpu%d: (%s family=%d model=%d stepping=%d apicid=%u) %dMHz\n",