Index: kernel/arch/ia32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia32/src/cpu/cpu.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/ia32/src/cpu/cpu.c	(revision 1cac8753dba1dcd1e470087cba35d1d4f93975a2)
@@ -101,9 +101,9 @@
 	if (CPU->arch.fi.bits.sse) {
 		asm volatile (
-			"mov %%cr4, %[help]\n"
-			"or %[mask], %[help]\n"
-			"mov %[help], %%cr4\n"
-			: [help] "+r" (help)
-			: [mask] "i" (CR4_OSFXSR | CR4_OSXMMEXCPT)
+		    "mov %%cr4, %[help]\n"
+		    "or %[mask], %[help]\n"
+		    "mov %[help], %%cr4\n"
+		    : [help] "+r" (help)
+		    : [mask] "i" (CR4_OSFXSR | CR4_OSXMMEXCPT)
 		);
 	}
@@ -128,7 +128,7 @@
 		 * Check for AMD processor.
 		 */
-		if ((info.cpuid_ebx == AMD_CPUID_EBX)
-		    && (info.cpuid_ecx == AMD_CPUID_ECX)
-		    && (info.cpuid_edx == AMD_CPUID_EDX))
+		if ((info.cpuid_ebx == AMD_CPUID_EBX) &&
+		    (info.cpuid_ecx == AMD_CPUID_ECX) &&
+		    (info.cpuid_edx == AMD_CPUID_EDX))
 			CPU->arch.vendor = VendorAMD;
 
@@ -136,7 +136,7 @@
 		 * Check for Intel processor.
 		 */
-		if ((info.cpuid_ebx == INTEL_CPUID_EBX)
-		    && (info.cpuid_ecx == INTEL_CPUID_ECX)
-		    && (info.cpuid_edx == INTEL_CPUID_EDX))
+		if ((info.cpuid_ebx == INTEL_CPUID_EBX) &&
+		    (info.cpuid_ecx == INTEL_CPUID_ECX) &&
+		    (info.cpuid_edx == INTEL_CPUID_EDX))
 			CPU->arch.vendor = VendorIntel;
 
@@ -148,9 +148,9 @@
 }
 
-void cpu_print_report(cpu_t* cpu)
+void cpu_print_report(cpu_t *cpu)
 {
 	printf("cpu%u: (%s family=%u model=%u stepping=%u apicid=%u) %" PRIu16
-		" MHz\n", cpu->id, vendor_str[cpu->arch.vendor], cpu->arch.family,
-		cpu->arch.model, cpu->arch.stepping, cpu->arch.id, cpu->frequency_mhz);
+	    " MHz\n", cpu->id, vendor_str[cpu->arch.vendor], cpu->arch.family,
+	    cpu->arch.model, cpu->arch.stepping, cpu->arch.id, cpu->frequency_mhz);
 }