[Xen-changelog] Fix rdmsrl() for x86_32 -- high 32 bits must be cast to

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID db510cf1e6f6a5bde84b85564d19894ae4dfc1fc
# Parent  02cfa3beabba1de2b6dc864a71d10f0776c7aa99
Fix rdmsrl() for x86_32 -- high 32 bits must be cast to
u64 before shifting left.

Signed-off-by: Avi Kivity <avi@xxxxxxxxxxxx>

diff -r 02cfa3beabba -r db510cf1e6f6 xen/include/asm-x86/msr.h
--- a/xen/include/asm-x86/msr.h Fri Dec 30 16:07:34 2005
+++ b/xen/include/asm-x86/msr.h Fri Dec 30 16:11:05 2005
@@ -12,7 +12,7 @@
        __asm__ __volatile__("rdmsr" \
                            : "=a" (a__), "=d" (b__) \
                            : "c" (msr)); \
-       val = a__ | (b__<<32); \
+       val = a__ | ((u64)b__<<32); \
 } while(0); 
 
 #define wrmsr(msr,val1,val2) \

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog