direct-io.hg

changeset 8457:db510cf1e6f6

Fix rdmsrl() for x86_32 -- high 32 bits must be cast to
u64 before shifting left.

Signed-off-by: Avi Kivity <avi@qumranet.com>
author kaf24@firebug.cl.cam.ac.uk
date Fri Dec 30 17:11:05 2005 +0100 (2005-12-30)
parents 02cfa3beabba
children c0d8e1cf0a63
files xen/include/asm-x86/msr.h
line diff
     1.1 --- a/xen/include/asm-x86/msr.h	Fri Dec 30 17:07:34 2005 +0100
     1.2 +++ b/xen/include/asm-x86/msr.h	Fri Dec 30 17:11:05 2005 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4         __asm__ __volatile__("rdmsr" \
     1.5  			    : "=a" (a__), "=d" (b__) \
     1.6  			    : "c" (msr)); \
     1.7 -       val = a__ | (b__<<32); \
     1.8 +       val = a__ | ((u64)b__<<32); \
     1.9  } while(0); 
    1.10  
    1.11  #define wrmsr(msr,val1,val2) \