Re: [Xen-devel] [PATCH] linux/i386: allow CONFIG_HIGHPTE on i386

[Keir Fraser <keir@xxxxxxxxxxxxx>]

On 10/1/07 09:57, "Jan Beulich" <jbeulich@xxxxxxxxxx> wrote:

> The patch at once does away with the use of PageForeign on pte pages, to match
> x86-64 and to reduce the delta to native.

Is it actually safe to circumvent tlb_remove_page()? It does rather more
than just free_page()! That's why I used a ForeignPage hook when writing the
i386 code. It's certainly *not* safe to assume that whoever wrote that part
of the x86/64 port understood all the ramifications of what they were doing.

 -- Keir


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