Re: [Xen-users] "Bad type" when setting PML4 on x86_64

[Trammell Hudson <hudson@xxxxxxxxxxxxxx>]

> > [...]  According to the interface
> > guide "a guest OS may always create readable mappings of its own
> > memory regardless of its current type", so it would seem that this
> > should be an acceptable situation for Xen.
> 
> Make sure that the page is not mapped writable in *any* validated pagetable.  
> I.e. on any pagetable you've pinned, even if it's not active, on the 
> pagetable you're switching to and possibly on the pagetable you're 
> switching /from/ too.

Ah, that seems to have been the secret!  I made an explicit call
to update_va_mapping() for the PML4 virtual address before setting
the CR3 and it now complains about the next page.

Thanks, Mark!

-- Trammell

_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-users