On 16.07.2022 16:38, Julien Grall wrote: > On 04/07/2022 13:35, Bertrand Marquis wrote: >>> On 24 Jun 2022, at 10:11, Julien Grall <jul...@xen.org> wrote: >>> >>> From: Julien Grall <jgr...@amazon.com> >>> >>> 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 <jgr...@amazon.com> >> >> With the prototype updated in mm.h as suggested by Michal: > > Done. I will send a new version shortly.
I notice you had applied and then reverted this, with the revert saying an x86 ack was missing. I don't see any need for an x86 ack here though, so I'm puzzled ... Jan
