diff -Nupr src/kernel/time/timer.c src/kernel/time/timer.c

--- src/kernel/time/timer.c	2020-03-11 11:23:30.542685253 +0000

+++ src/kernel/time/timer.c	2020-03-11 11:41:58.129186658 +0000

@@ -1692,6 +1692,9 @@ static __latent_entropy void run_timer_s

 {

 	struct timer_base *base = this_cpu_ptr(&timer_bases[BASE_STD]);

+	if (!base)

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

+

 	__run_timers(base);

 	if (IS_ENABLED(CONFIG_NO_HZ_COMMON))

 		__run_timers(this_cpu_ptr(&timer_bases[BASE_DEF]));