On Thu, 27 Jul 2017, Andrii Anisov wrote:
> From: Andrii Anisov
>
> Signed-off-by: Andrii Anisov
Reviewed-by: Stefano Stabellini
> ---
> xen/arch/arm/arm32/debug-8250.inc | 12 +++--
> xen/arch/arm/arm32/debug-exynos4210.inc | 12 +++--
> xen/arch/arm/arm32/debug-pl011.inc | 18 +
From: Andrii Anisov
Signed-off-by: Andrii Anisov
---
xen/arch/arm/arm32/debug-8250.inc | 12 +++--
xen/arch/arm/arm32/debug-exynos4210.inc | 12 +++--
xen/arch/arm/arm32/debug-pl011.inc | 18 +---
xen/arch/arm/arm32/debug-scif.inc | 6 ++-
xen/arch/arm/arm32/debug.S