--- zzzz-none-000/linux-5.15.111/kernel/time/sched_clock.c	2023-05-11 14:00:40.000000000 +0000
+++ puma7-arm-6670-761/linux-5.15.111/kernel/time/sched_clock.c	2024-02-07 09:28:08.000000000 +0000
@@ -3,6 +3,12 @@
  * Generic sched_clock() support, to extend low level hardware time
  * counters to full 64-bit ns values.
  */
+
+/*
+ * Includes Intel Corporation's changes/modifications dated: 2017.
+ * Changed/modified portions - Copyright (c) 2017, Intel Corporation.
+ */
+
 #include <linux/clocksource.h>
 #include <linux/init.h>
 #include <linux/jiffies.h>
@@ -79,6 +85,7 @@
 	return read_seqcount_latch_retry(&cd.seq, seq);
 }
 
+#if 0
 unsigned long long notrace sched_clock(void)
 {
 	u64 cyc, res;
@@ -95,6 +102,7 @@
 
 	return res;
 }
+#endif
 
 /*
  * Updating the data required to read the clock.
@@ -227,13 +235,16 @@
 
 void __init generic_sched_clock_init(void)
 {
+// sched_clock is used directly from puma specific code. below is vanilla
+#if 0
+
 	/*
 	 * If no sched_clock() function has been provided at that point,
 	 * make it the final one.
 	 */
 	if (cd.actual_read_sched_clock == jiffy_sched_clock_read)
 		sched_clock_register(jiffy_sched_clock_read, BITS_PER_LONG, HZ);
-
+#endif
 	update_sched_clock();
 
 	/*