==================================================================
BUG: KCSAN: data-race in tick_nohz_idle_stop_tick / tick_sched_do_timer

read to 0xffffffff85caf310 of 4 bytes by interrupt on cpu 1:
 tick_sched_do_timer+0x33/0xe0 kernel/time/tick-sched.c:128
 tick_sched_timer+0x43/0xe0 kernel/time/tick-sched.c:1289
 __run_hrtimer kernel/time/hrtimer.c:1389 [inline]
 __hrtimer_run_queues+0x288/0x600 kernel/time/hrtimer.c:1451
 hrtimer_interrupt+0x22a/0x480 kernel/time/hrtimer.c:1509
 local_apic_timer_interrupt arch/x86/kernel/apic/apic.c:1110 [inline]
 smp_apic_timer_interrupt+0xdc/0x280 arch/x86/kernel/apic/apic.c:1135
 apic_timer_interrupt+0xf/0x20 arch/x86/entry/entry_64.S:830
 arch_local_irq_restore arch/x86/include/asm/paravirt.h:768 [inline]
 __kcsan_setup_watchpoint+0x282/0x510 kernel/kcsan/core.c:469
 __tsan_read8 kernel/kcsan/kcsan.c:31 [inline]
 __tsan_read8+0x2c/0x30 kernel/kcsan/kcsan.c:31
 __handle_mm_fault+0x1ab/0x2d00 mm/memory.c:3900
 handle_mm_fault+0x21b/0x520 mm/memory.c:4001
 do_user_addr_fault arch/x86/mm/fault.c:1441 [inline]
 __do_page_fault+0x3fb/0x9e0 arch/x86/mm/fault.c:1506
 do_page_fault+0x54/0x233 arch/x86/mm/fault.c:1530
 page_fault+0x34/0x40 arch/x86/entry/entry_64.S:1202

write to 0xffffffff85caf310 of 4 bytes by task 0 on cpu 0:
 tick_nohz_stop_tick kernel/time/tick-sched.c:758 [inline]
 __tick_nohz_idle_stop_tick kernel/time/tick-sched.c:949 [inline]
 tick_nohz_idle_stop_tick+0x525/0x670 kernel/time/tick-sched.c:970
 cpuidle_idle_call kernel/sched/idle.c:151 [inline]
 do_idle+0x1e0/0x2c0 kernel/sched/idle.c:263
 cpu_startup_entry+0x1b/0x20 kernel/sched/idle.c:354
 rest_init+0xec/0xf6 init/main.c:452
 arch_call_rest_init+0x17/0x37
 start_kernel+0x83e/0x864 init/main.c:787
 x86_64_start_reservations+0x29/0x2b arch/x86/kernel/head64.c:472
 x86_64_start_kernel+0x72/0x76 arch/x86/kernel/head64.c:453
 secondary_startup_64+0xa4/0xb0 arch/x86/kernel/head_64.S:241

Reported by Kernel Concurrency Sanitizer on:
CPU: 0 PID: 0 Comm: swapper/0 Not tainted 5.3.0+ #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
==================================================================