Re: [PATCH 2/2] xen/arm: vpl011: Fix domain_vpl011_init error path

[Luca Fancellu]

> On 22 Mar 2023, at 10:29, Michal Orzel <michal.or...@amd.com> wrote:
> 
> When vgic_reserve_virq() fails and backend is in domain, we should also
> free the allocated event channel.
> 
> When backend is in Xen and call to xzalloc() returns NULL, there is no
> need to call xfree(). This should be done instead on an error path
> from vgic_reserve_virq(). Also, take the opportunity to return -ENOMEM
> instead of -EINVAL when memory allocation fails.
> 
> Fixes: 1ee1e4b0d1ff ("xen/arm: Allow vpl011 to be used by DomU")
> Signed-off-by: Michal Orzel <michal.or...@amd.com>

Also this one looks good to me:

Reviewed-by: Luca Fancellu <luca.fance...@arm.com>