Keir Fraser wrote:
>
> On 16 Mar 2006, at 23:33, Anthony Liguori wrote:
>
>> Actually, the new spec does support non-shadow paging.  All page 
>> table updates are done via the VMI ROM.  Normally, these are just 
>> normal get/set operations but they could be get/sets with p2m looks.  
>> The first version of the spec definitely didn't support non-shadow 
>> paging though.
>
> I don't see any hooks for pte reads, which need m2p conversion in a 
> non-shadow environment.

I've attached a patch.  It is complete, but rather scary to maintain.  I 
think with help from Linus' sparse checker, it might be more easily 
maintained by using noderef on the PTE types.  We would like to propose 
it as an alternative to the m2p conversion layer.

>
> And the documentation is out of whack with the code patches now I look 
> more closely at the mmu patch. VMI_xxxPxExxx functions are not defined 
> in the spec, nor is VMI_AllocatePage.

Yes, as mentioned in the documentation, the MMU part of the spec is out 
of date - specifically because we know there are changes that need to be 
made there to accommodate Xen, and because we would like to shake out 
exactly what the simplest and cleanest interface is.

Zach