From ab3c6256d78886f1cef349273c8e858a84bccb43 Mon Sep 17 00:00:00 2001
From: Andrii Anisov <andrii_anisov@epam.com>
Date: Fri, 16 Nov 2018 18:24:17 +0200
Subject: [PATCH] arm/irq: replace an odd tab with spaces

Signed-off-by: Andrii Anisov <andrii_anisov@epam.com>
Acked-by: Julien Grall <julien.grall@arm.com>
---
 xen/arch/arm/irq.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xen/arch/arm/irq.c b/xen/arch/arm/irq.c
index 098281f8ab..d5ad277507 100644
--- a/xen/arch/arm/irq.c
+++ b/xen/arch/arm/irq.c
@@ -224,7 +224,7 @@ void do_IRQ(struct cpu_user_regs *regs, unsigned int irq, int is_fiq)
         /*
          * The irq cannot be a PPI, we only support delivery of SPIs to
          * guests.
-	 */
+         */
         vgic_inject_irq(info->d, NULL, info->virq, true);
         goto out_no_end;
     }
-- 
2.39.5