--- zzzz-none-000/linux-3.10.107/kernel/time/tick-sched.c	2017-06-27 09:49:32.000000000 +0000
+++ vr9-7490-729/linux-3.10.107/kernel/time/tick-sched.c	2021-11-10 11:53:56.000000000 +0000
@@ -1218,3 +1218,15 @@
 	tick_nohz_switch_to_nohz();
 	return 0;
 }
+
+#if defined(CONFIG_AVM_ENHANCED)
+/**--------------------------------------------------------------------------------**\
+ * export fuer 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) ---*/