From: Andrii Anisov <andrii_ani...@epam.com>
Also armclang complains about the condition always true,
because `sgi` is of type enum with all its values under 16.
Signed-off-by: Andrii Anisov <andrii_ani...@epam.com>
---
xen/arch/arm/gic.c | 6 ------
1 file changed, 6 deletions(-)
diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c
index 113655a..58c6141 100644
--- a/xen/arch/arm/gic.c
+++ b/xen/arch/arm/gic.c
@@ -294,8 +294,6 @@ void __init gic_init(void)
void send_SGI_mask(const cpumask_t *cpumask, enum gic_sgi sgi)
{
- ASSERT(sgi < 16); /* There are only 16 SGIs */
-
gic_hw_ops->send_SGI(sgi, SGI_TARGET_LIST, cpumask);
}
@@ -306,15 +304,11 @@ void send_SGI_one(unsigned int cpu, enum gic_sgi sgi)
void send_SGI_self(enum gic_sgi sgi)
{
- ASSERT(sgi < 16); /* There are only 16 SGIs */
-
gic_hw_ops->send_SGI(sgi, SGI_TARGET_SELF, NULL);
}
void send_SGI_allbutself(enum gic_sgi sgi)
{
- ASSERT(sgi < 16); /* There are only 16 SGIs */
-
gic_hw_ops->send_SGI(sgi, SGI_TARGET_OTHERS, NULL);
}
--
2.7.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
