xen: Fix 32-bit build by fixing wrmsr_safe() usage.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/drivers/acpi/processor_throttling.c b/drivers/acpi/processor_throttling.c
index 59477523921458c81a53aa83ccaf25946e4b83d8..8ca2044f8a9ae69af2949f975d06485cc102ed00 100644 (file)
--- a/drivers/acpi/processor_throttling.c
+++ b/drivers/acpi/processor_throttling.c
@@ -680,7 +680,7 @@ static int acpi_throttling_wrmsr(struct acpi_processor *pr, acpi_integer value)
        } else {
                msr = value;
                wrmsr_safe(MSR_IA32_THERM_CONTROL,
-                       msr & 0xffffffff, msr >> 32);
+                          (u32)msr, (u32)(msr >> 32));
                ret = 0;
        }
        return ret;