--- zzzz-none-000/linux-5.4.213/kernel/time/tick-sched.c	2022-09-15 10:04:56.000000000 +0000
+++ miami-7690-761/linux-5.4.213/kernel/time/tick-sched.c	2024-05-29 11:20:02.000000000 +0000
@@ -1409,3 +1409,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) ---*/