--- zzzz-none-000/linux-4.9.279/kernel/time/sched_clock.c	2021-08-08 06:38:54.000000000 +0000
+++ puma7-arm-6591-750/linux-4.9.279/kernel/time/sched_clock.c	2023-02-08 10:58:16.000000000 +0000
@@ -6,6 +6,12 @@
  * it under the terms of the GNU General Public License version 2 as
  * published by the Free Software Foundation.
  */
+
+/*
+ * 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>
@@ -93,6 +99,8 @@
 	return (cyc * mult) >> shift;
 }
 
+// sched_clock is used directly from puma specific code. below is vanilla
+#if 0
 unsigned long long notrace sched_clock(void)
 {
 	u64 cyc, res;
@@ -110,6 +118,7 @@
 
 	return res;
 }
+#endif
 
 /*
  * Updating the data required to read the clock.
@@ -238,13 +247,16 @@
 
 void __init sched_clock_postinit(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 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();
 
 	/*