|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
xen-devel
RE: [Xen-devel] [PATCH] vmwrite high 32 bits of 64bit VMCS fields	when i
 
>-----Original Message-----
>From: Keir Fraser [mailto:keir@xxxxxxxxxxxxx] 
>Sent: Wednesday, July 11, 2007 1:57 AM
>To: Li, Xin B; xen-devel@xxxxxxxxxxxxxxxxxxx
>Subject: Re: [Xen-devel] [PATCH] vmwrite high 32 bits of 64bit 
>VMCS fields when in PAE mode
>
>Is this necessary? Writes to low halves clear top halves, and 
>these data structures will always be below 4GB, right?
On PAE, I think it may be above 4G.
-Xin 
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
 
 |   
 
 | 
    | 
  
  
    |   | 
    |