--- zzzz-none-000/linux-4.9.276/kernel/time/tick-sched.c	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/kernel/time/tick-sched.c	2023-04-05 08:19:02.000000000 +0000
@@ -1289,3 +1289,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) ---*/