commit 12b2ee54e3379a68d0b45675fb58c57ca12f3733
author Gerard Marull-Paretas <gerard@teslabs.com> Mon Aug 28 13:15:43 2023 +0200
committer Fabio Baltieri <fabio.baltieri@gmail.com> Tue Aug 29 11:29:18 2023 +0100
tree 0628e37592d88e43276b93cdbdef442da5a92c6c
parent 7f8831aa7e112397d75371657bf78f1bd884d0b7

drivers: timer: s/device.h/init.h

Timer "drivers" do not use the device model infrastructure, they are
singletons with a SYS_INIT call. This means they do not have to include
device.h but init.h. Things worked because device.h includes init.h.

Signed-off-by: Gerard Marull-Paretas <gerard@teslabs.com>

drivers/timer/esp32c3_sys_timer.c

diff --git a/drivers/timer/esp32c3_sys_timer.c b/drivers/timer/esp32c3_sys_timer.c
index 9974654..b54150c 100644
--- a/drivers/timer/esp32c3_sys_timer.c
+++ b/drivers/timer/esp32c3_sys_timer.c
@@ -17,7 +17,7 @@
 #include <zephyr/drivers/timer/system_timer.h>
 #include <zephyr/sys_clock.h>
 #include <soc.h>
-#include <zephyr/device.h>
+#include <zephyr/init.h>
 #include <zephyr/spinlock.h>
 
 #define CYC_PER_TICK ((uint32_t)((uint64_t)sys_clock_hw_cycles_per_sec()	\