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
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