X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=drv%2Ftimer.c;h=0e756dbb6cb01c435062380cbd60536d0e165520;hb=e5523f6098d2f4d51c838459ce83423152cc8692;hp=9148d930f2f39d5c6d0bd3d7a9a3669b24b5ed23;hpb=8892633f666bee56325f62ff9693b9a164253dc8;p=bertos.git

diff --git a/drv/timer.c b/drv/timer.c
index 9148d930..0e756dbb 100644
--- a/drv/timer.c
+++ b/drv/timer.c
@@ -38,7 +38,11 @@
  */
 
 #include "timer.h"
-#include <cpu/cpu.h>
+
+#include <cpu/attr.h>
+#include <cpu/types.h>
+#include <cpu/irq.h>
+
 #include <cfg/os.h>
 #include <cfg/debug.h>
 #include <cfg/module.h>
@@ -70,6 +74,9 @@
 
 #if CONFIG_KERNEL
 	#include <config_kern.h>
+	#if CONFIG_KERN_PREEMPTIVE
+		#include <hw/switch.h>
+	#endif
 	#if CONFIG_KERN_SIGNALS
 		#include <kern/signal.h> /* sig_wait(), sig_check() */
 		#include <kern/proc.h>   /* proc_current() */