X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.c;h=e8508e047f18d3f767632eaf3809cd3bf5786ec0;hb=3d3ba83839f2a8faed6c373e5153d61672ce7fb6;hp=dfc27aefb53ccee74c8edaa141052e0b98010ee5;hpb=62c64455f33dd53639f04d35014ef5e50f9acd50;p=bertos.git

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index dfc27aef..e8508e04 100644
--- a/bertos/drv/timer.c
+++ b/bertos/drv/timer.c
@@ -52,7 +52,7 @@
 #include <cpu/irq.h>
 #include <cpu/power.h> // cpu_relax()
 
-#include <kern/preempt.h> // proc_decQuantun()
+#include <kern/proc_p.h> // proc_decQuantun()
 
 /*
  * Include platform-specific binding code if we're hosted.
@@ -357,7 +357,7 @@ DEFINE_TIMER_ISR
 
 	/* Perform hw IRQ handling */
 	timer_hw_irq();
-	
+
 	TIMER_STROBE_OFF;
 }