--- a/drivers/timers_kernel/timers_kernel.c	Tue Mar 20 16:04:52 2018 +0100
+++ b/drivers/timers_kernel/timers_kernel.c	Wed Mar 21 13:33:43 2018 +0100
@@ -22,10 +22,10 @@
 
 #include <linux/spinlock.h>
 #include <linux/jiffies.h>
-#include <linux/timer.h>
+#include <linux/timers.h>
 #include <linux/errno.h>
 
-#include "timer.h"
+#include "timers.h"
 #include "applicfg.h"
 
 static spinlock_t lock = SPIN_LOCK_UNLOCKED;