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

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index dfc27aef..d380e5f1 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.