diff --git a/src/arch/arm/machine/gic_v3.c b/src/arch/arm/machine/gic_v3.c
index 193246e71..d43c7f210 100644
--- a/src/arch/arm/machine/gic_v3.c
+++ b/src/arch/arm/machine/gic_v3.c
@@ -313,9 +313,9 @@ void setIRQTrigger(irq_t irq, bool_t trigger)
     }
 
     if (trigger) {
-        icfgr |= (0b10 << bit);
+        icfgr |= (2 << bit);
     } else {
-        icfgr &= ~(0b11 << bit);
+        icfgr &= ~(3 << bit);
     }
 
     if (HW_IRQ_IS_PPI(hw_irq)) {