Re: [PATCH] linux/x86-64: allow kernel init memory to be freed

[Keir Fraser <keir@xensource.com>]

On 2/3/07 16:01, "Jan Beulich" <jbeulich@novell.com> wrote:

> The mappings in the direct map area must be writeable and, as the comment
> says, make_readonly() forces all kernel space mappings to be set up as
> read-only during boot. Thus this does *not* depend on
> XENFEAT_writable_page_tables, unless make_readonly() is changed.

Ok, understood.

> So - would you be okay with taking the full-blown patch (probably not, as it
> touches another file not currently in the sparse tree), or should I create a
> __make_page_inaccessible() function along the lines of
> __make_page_readonly()/__make_page_writable()?

Yeah, I'll go with __make_page_inaccessible(). :-)

 -- Keir