diff --git a/arch/xtensa/src/esp32/esp32_cpuint.c b/arch/xtensa/src/esp32/esp32_cpuint.c
index 7d62e6bd77..571c7fd074 100644
--- a/arch/xtensa/src/esp32/esp32_cpuint.c
+++ b/arch/xtensa/src/esp32/esp32_cpuint.c
@@ -327,7 +327,7 @@ int esp32_alloc_levelint(int priority)
   uint32_t intmask;
 
   DEBUGASSERT(priority >= ESP32_MIN_PRIORITY &&
-              priority <= ESP32_MAX_PRIORITY)
+              priority <= ESP32_MAX_PRIORITY);
 
   /* Check if there are any level CPU interrupts available at the requested
    * interrupt priority.
@@ -359,7 +359,7 @@ int esp32_alloc_edgeint(int priority)
   uint32_t intmask;
 
   DEBUGASSERT(priority >= ESP32_MIN_PRIORITY &&
-              priority <= ESP32_MAX_PRIORITY)
+              priority <= ESP32_MAX_PRIORITY);
 
   /* Check if there are any edge CPU interrupts available at the requested
    * interrupt priority.
diff --git a/arch/xtensa/src/esp32/esp32_timerisr.c b/arch/xtensa/src/esp32/esp32_timerisr.c
index 90ba8ecaae..14f8a1cdfe 100644
--- a/arch/xtensa/src/esp32/esp32_timerisr.c
+++ b/arch/xtensa/src/esp32/esp32_timerisr.c
@@ -183,7 +183,7 @@ void xtensa_timer_initialize(void)
    */
 
   divisor = (1000000ull * (uint64_t)BOARD_CLOCK_FREQUENCY) / CONFIG_USEC_PER_TICK;
-  DEBUGASSERT(divisor <= UINT32_MAX)
+  DEBUGASSERT(divisor <= UINT32_MAX);
   g_tick_divisor = divisor;
 
   /* Set up periodic timer */