diff --git a/drivers/interrupt_controller/system_apic.c b/drivers/interrupt_controller/system_apic.c index a6eef85673a..54743fe3a87 100644 --- a/drivers/interrupt_controller/system_apic.c +++ b/drivers/interrupt_controller/system_apic.c @@ -47,7 +47,7 @@ void __irq_controller_irq_config(unsigned int vector, unsigned int irq, u32_t flags) { - __ASSERT(irq >= 0 && irq <= HARDWARE_IRQ_LIMIT, "invalid irq line"); + __ASSERT(irq <= HARDWARE_IRQ_LIMIT, "invalid irq line"); if (IS_IOAPIC_IRQ(irq)) { _ioapic_irq_set(irq, vector, flags);