--- zzzz-none-000/linux-4.4.271/kernel/time/tick-sched.c	2021-06-03 06:22:09.000000000 +0000
+++ hawkeye-5590-750/linux-4.4.271/kernel/time/tick-sched.c	2023-04-19 10:22:30.000000000 +0000
@@ -1196,3 +1196,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) ---*/