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