From be3eed681e01a44b87e11a99d4b677666250bc82 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Wed, 13 Jun 2012 11:23:05 +0200
Subject: [PATCH] use the correct data type for the CR4 register

---
 arch/x86/kernel/processor.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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);