Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision 15819e3721b214ac8d8e1b9270bd032b691b3e41)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision fb69f39c1c7a3f85d8a9f3789fe0ddf2fa266ec4)
@@ -71,6 +71,6 @@
 	
 	printf("cpu%d: %s (%s), archrev=%d, model=%d, revision=%d\n", CPU->id,
-	    family_str, vendor, CPU->arch.cpuid3.archrev, CPU->arch.cpuid3.model,
-	    CPU->arch.cpuid3.revision);
+	    family_str, vendor, CPU->arch.cpuid3.archrev,
+	    CPU->arch.cpuid3.model, CPU->arch.cpuid3.revision);
 }