On Wed, Oct 10, 2012 at 10:26 AM, Stefano Stabellini
<stefano.stabellini@eu.citrix.com> wrote:
> On Wed, 10 Oct 2012, Yinghai Lu wrote:
>
> It doesn't matter whether they come from BRK or other memory: Xen
> assumes that all the pagetable pages come from
> pgt_buf_start-pgt_buf_top, so if you are going to use another range you
> need to tell Xen about it.
>
> Alternatively, you can follow Peter's suggestion and replace the current
> hooks with a new one with a more precise and well defined semantic.
> Something along the lines of "this pagetable page is about to be hooked
> into the live pagetable". Xen would use the hook to mark it RO.

attached patch on top of this patch will fix the problem?