--- zzzz-none-000/linux-4.4.60/kernel/time/tick-sched.c	2017-04-08 07:53:53.000000000 +0000
+++ dragonfly-4020-701/linux-4.4.60/kernel/time/tick-sched.c	2018-11-08 13:36:17.000000000 +0000
@@ -1181,3 +1181,15 @@
 	tick_nohz_switch_to_nohz();
 	return 0;
 }
+
+#if defined(CONFIG_AVM_ENHANCED)
+/**--------------------------------------------------------------------------------**\
+ * export fuer FASTIRQ-(NMI-)Handler
+ *
+ * tick_check_idle() kann leider nicht genommen werden, da dort u.U. 
+ * ts->idle_active, ts->tick_stopped ausgewertet wird und dann evtl. kein Update erfolgt
+\**--------------------------------------------------------------------------------**/
+void avm_tick_jiffies_update(void) {
+    tick_do_update_jiffies64(ktime_get());
+}
+#endif/*--- #if defined(CONFIG_AVM_ENHANCED) ---*/