Re: [PATCH 1/2] xen/arm: domain_build: Check return code of domain_vpl011_init

[Luca Fancellu]

> On 22 Mar 2023, at 10:29, Michal Orzel <michal.or...@amd.com> wrote:
> 
> We are assigning return code of domain_vpl011_init() to a variable
> without checking it for an error. Fix it.
> 
> Fixes: 3580c8b2dfc3 ("xen/arm: if direct-map domain use native UART address 
> and IRQ number for vPL011")
> Signed-off-by: Michal Orzel <michal.or...@amd.com>

Hi Michal,

Looks good to me,

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