diff --git a/drivers/counter/counter_ace_v1x_art.c b/drivers/counter/counter_ace_v1x_art.c
index 166b1e3d8f..bdcddbc9ba 100644
--- a/drivers/counter/counter_ace_v1x_art.c
+++ b/drivers/counter/counter_ace_v1x_art.c
@@ -7,6 +7,8 @@
 #include <zephyr/device.h>
 #include <zephyr/devicetree.h>
 #include <zephyr/drivers/counter.h>
+#include <zephyr/kernel.h>
+#include <zephyr/spinlock.h>
 #include <soc.h>
 #include <counter/counter_ace_v1x_art_regs.h>
 
diff --git a/drivers/counter/counter_ace_v1x_rtc.c b/drivers/counter/counter_ace_v1x_rtc.c
index d2aed15a0e..34c8d1ba83 100644
--- a/drivers/counter/counter_ace_v1x_rtc.c
+++ b/drivers/counter/counter_ace_v1x_rtc.c
@@ -7,6 +7,7 @@
 #include <zephyr/device.h>
 #include <zephyr/devicetree.h>
 #include <zephyr/drivers/counter.h>
+#include <zephyr/kernel.h>
 #include <soc.h>
 #include <counter/counter_ace_v1x_rtc_regs.h>