Make sure the upper half of eax as returned by cpu_set_pstate() is zero

diff --git a/kernel/arch/cpu32.S b/kernel/arch/cpu32.S
index 211f3d120157297a48d60eea1058a129641871e3..1d0fb7b7de1c0048cadceda6b04821e88dd3151c 100644 (file)
--- a/kernel/arch/cpu32.S
+++ b/kernel/arch/cpu32.S
@@ -61,6 +61,7 @@ cpu_set_pstate:
        movl    $0x199, %ecx
        rdmsr
        movl    8(%esp), %ebx
+       xorl    %eax, %eax
        movw    %bx, %ax
        wrmsr
        popl    %ebx