Hi Julien, > On 29 May 2025, at 10:45, Julien Grall <jul...@xen.org> wrote: > > Hi Luca, > > On 23/05/2025 07:54, Luca Fancellu wrote: >> /* >> * Macro to prepare and set a EL2 MPU memory region. >> * We will also create an according MPU memory region entry, which >> @@ -59,6 +79,24 @@ >> dsb sy >> isb >> + /* Load pair into xen_mpumap and invalidate cache */ > > AFAICT, you don't invalidate the cache below. What did I miss?
oh right I forgot to update this comment, Should I respin the serie or could it be addressed on commit? I would amend the comment as: /* Load pair into xen_mpumap */ Cheers, Luca
