This series contains 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 | 47 +++++++++++++++++++++++--------------
2 files changed, 34 insertions(+), 17 deletions(-)
--
2.25.1