diff --git a/bsps/powerpc/virtex4/include/bsp/irq.h b/bsps/powerpc/virtex4/include/bsp/irq.h
index 5cc4c01b60..3fc7215ff1 100644
--- a/bsps/powerpc/virtex4/include/bsp/irq.h
+++ b/bsps/powerpc/virtex4/include/bsp/irq.h
@@ -55,9 +55,8 @@
 #define BSP_PROCESSOR_IRQ_MAX_OFFSET    (BSP_PROCESSOR_IRQ_LOWEST_OFFSET\
                                          +BSP_PROCESSOR_IRQ_NUMBER-1)
 
-#define BSP_IS_PROCESSOR_IRQ(irqnum)                 \
-  (((irqnum) >= BSP_PROCESSOR_IRQ_LOWEST_OFFSET) &&  \
-   ((irqnum) <= BSP_PROCESSOR_IRQ_MAX_OFFSET))
+#define BSP_IS_PROCESSOR_IRQ(irqnum) \
+   ((irqnum) <= BSP_PROCESSOR_IRQ_MAX_OFFSET)
 
 /*
  * Summary
@@ -66,7 +65,7 @@
 #define BSP_LOWEST_OFFSET                BSP_PROCESSOR_IRQ_LOWEST_OFFSET
 #define BSP_MAX_OFFSET                   BSP_PROCESSOR_IRQ_MAX_OFFSET
 
-#define BSP_IS_VALID_IRQ(irqnum)        (BSP_IS_PROCESSOR_IRQ(irqnum))
+#define BSP_IS_VALID_IRQ(irqnum)         BSP_IS_PROCESSOR_IRQ(irqnum)
 
 #ifndef ASM
 #ifdef __cplusplus