diff --git a/arch/x86/kernel/processor.c b/arch/x86/kernel/processor.c
index d66c1125..5a0a86c0 100644
--- a/arch/x86/kernel/processor.c
+++ b/arch/x86/kernel/processor.c
@@ -31,7 +31,8 @@ static uint32_t cpu_freq = 0;
 
 int cpu_detection(void)
 {
-	uint32_t a, b, cr4;
+	uint32_t a, b;
+	size_t cr4;
 
 	cpuid(1, &a, &b, &cpu_info.feature2, &cpu_info.feature1);