Hi Bertrand,
On 04/07/2022 13:35, Bertrand Marquis wrote:
Hi Julien,
On 24 Jun 2022, at 10:11, Julien Grall <[email protected]> wrote:
From: Julien Grall <[email protected]>
Both destroy_xen_mappings() and modify_xen_mappings() will take in
parameter a range [start, end[. Both end should be page aligned.
Add extra ASSERT() to ensure start and end are page aligned. Take the
opportunity to rename 'v' to 's' to be consistent with the other helper.
Signed-off-by: Julien Grall <[email protected]>
With the prototype updated in mm.h as suggested by Michal:
Done. I will send a new version shortly.
Reviewed-by: Bertrand Marquis <[email protected]>
Thanks!
Cheers,
--
Julien Grall
