diff --git a/src/cpu/cpu.c b/src/cpu/cpu.c
index 1ab06205f..4d1abcd05 100644
--- a/src/cpu/cpu.c
+++ b/src/cpu/cpu.c
@@ -2848,7 +2848,7 @@ amd_k_invalid_wrmsr:
                     break;
                 case 0x1b:
                     cpu_log("APIC_BASE write: %08X%08X\n", EDX, EAX);
-                    // msr.apic_base = EAX | ((uint64_t)EDX << 32);
+                    // msr.apic_base = EAX | ((uint64_t) EDX << 32);
                     break;
                 case 0x2a:
                     break;