This series contains two trivial fixes around domain_vpl011_init(). Michal Orzel (2): xen/arm: domain_build: Check return code of domain_vpl011_init xen/arm: vpl011: Fix domain_vpl011_init error path
xen/arch/arm/domain_build.c | 4 ++++ xen/arch/arm/vpl011.c | 11 +++++++---- 2 files changed, 11 insertions(+), 4 deletions(-) -- 2.25.1
