xen/arm: Remove unused field eoi_cpu in arch_irq_desc

This field have been set but not used since Xen 4.5. Slim down Xen by
about 4K by removing it.

Also fix comment coding style.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/xen/arch/arm/irq.c b/xen/arch/arm/irq.c
index 2dd43eedb70cdb2e3756b81eef910f65d7299d58..1f38605110e28d99904c5388db639cb4e807be01 100644 (file)
--- a/xen/arch/arm/irq.c
+++ b/xen/arch/arm/irq.c
@@ -219,10 +219,11 @@ void do_IRQ(struct cpu_user_regs *regs, unsigned int irq, int is_fiq)
         desc->handler->end(desc);
 
         set_bit(_IRQ_INPROGRESS, &desc->status);
-        desc->arch.eoi_cpu = smp_processor_id();
 
-        /* the irq cannot be a PPI, we only support delivery of SPIs to
-         * guests */
+        /*
+         * The irq cannot be a PPI, we only support delivery of SPIs to
+         * guests.
+        */
         vgic_vcpu_inject_spi(info->d, info->virq);
         goto out_no_end;
     }

diff --git a/xen/include/asm-arm/irq.h b/xen/include/asm-arm/irq.h
index 34b492bf7a24b8183d6e824196d64c5fff178744..6c00d09ceae1e9adc23d2aeb3d212c65f5d068b8 100644 (file)
--- a/xen/include/asm-arm/irq.h
+++ b/xen/include/asm-arm/irq.h
@@ -15,7 +15,6 @@ struct arch_pirq
 };
 
 struct arch_irq_desc {
-    int eoi_cpu;
     unsigned int type;
 };