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