Mailing List Archive

# HG changeset patch
# User kaf24@firebug.cl.cam.ac.uk
# 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@qumranet.com>

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@lists.xensource.com
http://lists.xensource.com/xen-changelog