diff --git a/src/cpu/cpu.c b/src/cpu/cpu.c
index e7e1c10e8..be054c34f 100644
--- a/src/cpu/cpu.c
+++ b/src/cpu/cpu.c
@@ -153,8 +153,6 @@ void (*cpu_exec)(int cycs);
 
 static uint8_t ccr0, ccr1, ccr2, ccr3, ccr4, ccr5, ccr6;
 
-static uint8_t ccr0, ccr1, ccr2, ccr3, ccr4, ccr5, ccr6;
-
 void
 cpu_INVD(uint8_t wb)
 {
@@ -2869,7 +2867,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;