|
|
|
|
|
|
|
|
|
|
xen-changelog
[Xen-changelog] Fix rdmsrl() for x86_32 -- high 32 bits must be cast to
# 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
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-changelog] Fix rdmsrl() for x86_32 -- high 32 bits must be cast to,
Xen patchbot -unstable <=
|
|
|
|
|