Index: kernel-rhel7/kernel/timer.c

===================================================================

--- kernel-rhel7.orig/kernel/timer.c

+++ kernel-rhel7/kernel/timer.c

@@ -1454,6 +1454,9 @@ static void run_timer_softirq(struct sof

 {

 	struct tvec_base *base = __this_cpu_read(tvec_bases);

+	if (!base)

+		printk("kpatch-test: testing __tracepoints section changes\n");

+

 	if (time_after_eq(jiffies, base->timer_jiffies))

 		__run_timers(base);

 }