[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Xen-devel] [PATCH] vmwrite high 32 bits of 64bit VMCS fields when in PAE mode
- To: "Keir Fraser" <keir@xxxxxxxxxxxxx>, <xen-devel@xxxxxxxxxxxxxxxxxxx>
- From: "Li, Xin B" <xin.b.li@xxxxxxxxx>
- Date: Wed, 11 Jul 2007 11:29:53 +0800
- Delivery-date: Tue, 10 Jul 2007 20:28:09 -0700
- List-id: Xen developer discussion <xen-devel.lists.xensource.com>
- Thread-index: AcfDCkCwwQ9aXwykSueQB++MWscE/AAEXrFvABPzurA=
- Thread-topic: [Xen-devel] [PATCH] vmwrite high 32 bits of 64bit VMCS fields when in PAE mode
>-----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