Re: [PATCH v3 13/18] xen/arm: mm: Allow xen_pt_update() to work with the current root table

2022-12-12 Thread Stefano Stabellini
On Mon, 12 Dec 2022, Julien Grall wrote: > From: Julien Grall > > At the moment, xen_pt_update() will only work on the runtime page tables. > In follow-up patches, we will also want to use the helper to update > the boot page tables. > > All the existing callers of xen_pt_update() expects to

[PATCH v3 13/18] xen/arm: mm: Allow xen_pt_update() to work with the current root table

2022-12-12 Thread Julien Grall
From: Julien Grall At the moment, xen_pt_update() will only work on the runtime page tables. In follow-up patches, we will also want to use the helper to update the boot page tables. All the existing callers of xen_pt_update() expects to modify the current page-tables. Therefore, we can read