--- zzzz-none-000/linux-5.15.111/arch/arm/kernel/time.c	2023-05-11 14:00:40.000000000 +0000
+++ puma7-arm-6670-761/linux-5.15.111/arch/arm/kernel/time.c	2024-02-07 09:27:16.000000000 +0000
@@ -8,6 +8,12 @@
  *  This file contains the ARM-specific time handling details:
  *  reading the RTC at bootup, etc...
  */
+/*
+Includes MaxLinear's changes dated: 2021.
+Changed portions - Copyright 2021, MaxLinear, Inc.
+Includes Intel Corporation's changes/modifications dated: 2014.
+Changed/modified portions - Copyright © 2014, Intel Corporation.
+*/
 #include <linux/clockchips.h>
 #include <linux/clocksource.h>
 #include <linux/errno.h>
@@ -24,6 +30,7 @@
 #include <linux/time.h>
 #include <linux/timex.h>
 #include <linux/timer.h>
+#include <linux/clockchips.h>
 
 #include <asm/mach/arch.h>
 #include <asm/mach/time.h>
@@ -60,6 +67,22 @@
 EXPORT_SYMBOL(profile_pc);
 #endif
 
+#if 0
+/*#ifndef CONFIG_GENERIC_CLOCKEVENTS
+ *
+ * Kernel system timer support.
+ */
+void timer_tick(void)
+{
+	profile_tick(CPU_PROFILING);
+	xtime_update(1);
+#ifndef CONFIG_SMP
+	update_process_times(user_mode(get_irq_regs()));
+#endif
+}
+/*#endif*/
+#endif
+
 static void dummy_clock_access(struct timespec64 *ts)
 {
 	ts->tv_sec = 0;