From 24a35bdf97ff5beffbdedb9ff90424c6298d542c Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Fri, 15 Jul 2022 01:54:02 +0200 Subject: [PATCH] libsel4vm: remove unused function is_active() Signed-off-by: Axel Heider --- libsel4vm/src/arch/arm/vgic/vdist.h | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/libsel4vm/src/arch/arm/vgic/vdist.h b/libsel4vm/src/arch/arm/vgic/vdist.h index 35b971a51..865a1b951 100644 --- a/libsel4vm/src/arch/arm/vgic/vdist.h +++ b/libsel4vm/src/arch/arm/vgic/vdist.h @@ -126,24 +126,6 @@ static inline bool is_enabled(struct gic_dist_map *gic_dist, int irq, int vcpu_i return is_spi_enabled(gic_dist, irq); } -static inline bool is_sgi_ppi_active(struct gic_dist_map *gic_dist, int irq, int vcpu_id) -{ - return !!(gic_dist->active0[vcpu_id] & IRQ_BIT(irq)); -} - -static inline bool is_spi_active(struct gic_dist_map *gic_dist, int irq) -{ - return !!(gic_dist->active[IRQ_IDX(irq)] & IRQ_BIT(irq)); -} - -static inline bool is_active(struct gic_dist_map *gic_dist, int irq, int vcpu_id) -{ - if (irq < NUM_VCPU_LOCAL_VIRQS) { - return is_sgi_ppi_active(gic_dist, irq, vcpu_id); - } - return is_spi_active(gic_dist, irq); -} - static int vgic_dist_enable(vgic_t *vgic, vm_t *vm) { assert(vgic);