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
