|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
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 <=
  
 |  
  
 | 
    | 
  
  
    |   | 
    |