Quoting "Xu, Anthony" <[EMAIL PROTECTED]>:

> [EMAIL PROTECTED] wrote:
> > Hi,
> >
> > previously VTi and PV didn't save kr into the same place.  This wasted
> > a little bit of memory.
> > VTi now saves kr in privregs.
>
> The privregs is corresponding to VPD structure in VTI,
> The kr fields is reserved in VPD,
> In Vti, we can't save kr into privregs
Argh, you're right.  I thought this was in the vmm_avail area.  Thanks for
pointing this out!

BTW, I should check the usage of vpsr_dfh and hpsr_dfh because I thought they
are also used in VTi mode.  Anyway I don't think we want the domain to be able
to modify hpsr_* flags.

Tristan.

_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@lists.xensource.com
http://lists.xensource.com/xen-ia64-devel

Reply via email to