diff --git a/src/main/target/system_stm32f7xx.c b/src/main/target/system_stm32f7xx.c
index 6597bc6ce4..cd9c38a887 100644
--- a/src/main/target/system_stm32f7xx.c
+++ b/src/main/target/system_stm32f7xx.c
@@ -337,14 +337,11 @@ void SystemInit(void)
     extern uint8_t isr_vector_table_base;
     const uint32_t vtorOffset = (uint32_t) &isr_vector_table_base;
 #define VTOR_OFFSET_ALIGNMENT 0x200
-#define VTOR_OFFSET_MASK (VTOR_OFFSET_ALIGNMENT - 1)
-    if (vtorOffset % VTOR_OFFSET_MASK != 0) {
+    if (vtorOffset % VTOR_OFFSET_ALIGNMENT != 0) {
         // ISR vector table base is not 512 byte aligned
         while (1);
     }
     SCB->VTOR = vtorOffset;
-#undef VTOR_OFFSET_MASK
-#undef VTOR_OFFSET_ALIGNMENT
 
     /* Enable I-Cache */
     if (INSTRUCTION_CACHE_ENABLE) {