diff --git a/board/cr50/board.c b/board/cr50/board.c
index 5ebd66e089..3f951e8b41 100644
--- a/board/cr50/board.c
+++ b/board/cr50/board.c
@@ -25,7 +25,7 @@
  * two GPIOs to the same input and configure each one for a separate edge.
  */
 #define GPIO_INT(name, pin, flags, signal)	\
-	BUILD_ASSERT((flags & GPIO_INT_BOTH) != GPIO_INT_BOTH);
+	BUILD_ASSERT(((flags) & GPIO_INT_BOTH) != GPIO_INT_BOTH);
 #include "gpio.wrap"
 
 static void init_pmu(void)