On 12/10/25 02:54, Stefano Stabellini wrote:
> 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.
Yes, you are right.
The v2 is here:
https://patchew.org/Xen/212a1ac4ee568f027f6cb7f9437aa42d2f0b6c41.1761599221.git.dmytro._5fprokopch...@epam.com/
Dmytro.