4 files changed, 4 insertions, 0 deletions
diff --git a/chip/it83xx/gpio.c b/chip/it83xx/gpio.c
index 99603c26a5..4b6bfaee57 100644
--- a/chip/it83xx/gpio.c
+++ b/chip/it83xx/gpio.c
@@ -5,6 +5,7 @@
 
 /* GPIO module for Chrome EC */
 
+#include "builtin/assert.h"
 #include "clock.h"
 #include "common.h"
 #include "gpio.h"
diff --git a/chip/it83xx/i2c.c b/chip/it83xx/i2c.c
index 7dc41a7eb4..ba9d5fc034 100644
--- a/chip/it83xx/i2c.c
+++ b/chip/it83xx/i2c.c
@@ -5,6 +5,7 @@
 
 /* I2C module for Chrome EC */
 
+#include "builtin/assert.h"
 #include "clock.h"
 #include "common.h"
 #include "console.h"
diff --git a/chip/it83xx/peci.c b/chip/it83xx/peci.c
index d485b3fccf..4eb97b3853 100644
--- a/chip/it83xx/peci.c
+++ b/chip/it83xx/peci.c
@@ -5,6 +5,7 @@
 
 /* PECI interface for Chrome EC */
 
+#include "builtin/assert.h"
 #include "clock.h"
 #include "hooks.h"
 #include "peci.h"
diff --git a/chip/it83xx/system.c b/chip/it83xx/system.c
index 2d6778b910..28a2de1b56 100644
--- a/chip/it83xx/system.c
+++ b/chip/it83xx/system.c
@@ -14,6 +14,7 @@
 #include "host_command.h"
 #include "intc.h"
 #include "link_defs.h"
+#include "panic.h"
 #include "registers.h"
 #include "system.h"
 #include "task.h"