On Tue, 9 Dec 2025, Stefano Stabellini wrote:
> On Thu, 23 Oct 2025, Dmytro Prokopchuk1 wrote:
> > Given 'NextMemoryDescriptor()' macro is casting (UINT8 *) pointer to the
> > (EFI_MEMORY_DESCRIPTOR *) pointer, which is not allowed by the MISRA C
> > Rule 11.3 as they pointed to the different objects types.
> >
> > This macro is a part of the EFI imported code ('xen/include/efi/') and
> > is deviated with a SAF comment.
> >
> > Signed-off-by: Dmytro Prokopchuk <[email protected]>
>
> Reviewed-by: Stefano Stabellini <[email protected]>
>
> I saw Jan's comment but I think this is OK
I take it back I saw Dmytro managed to make a newer and better version
of this following Jan's comment. All good.
