==================================================================
BUG: KCSAN: data-race in print_cpu / tick_irq_enter

write to 0xffff888237d19d68 of 8 bytes by interrupt on cpu 1:
 update_ts_time_stats kernel/time/tick-sched.c:638 [inline]
 tick_nohz_stop_idle kernel/time/tick-sched.c:648 [inline]
 tick_nohz_irq_enter kernel/time/tick-sched.c:1377 [inline]
 tick_irq_enter+0x118/0x1f0 kernel/time/tick-sched.c:1396
 sysvec_apic_timer_interrupt+0x5c/0x80 arch/x86/kernel/apic/apic.c:1097
 asm_sysvec_apic_timer_interrupt+0x12/0x20
 native_safe_halt arch/x86/include/asm/irqflags.h:51 [inline]
 arch_safe_halt arch/x86/include/asm/irqflags.h:89 [inline]
 acpi_safe_halt drivers/acpi/processor_idle.c:109 [inline]
 acpi_idle_do_entry drivers/acpi/processor_idle.c:553 [inline]
 acpi_idle_enter+0x258/0x2e0 drivers/acpi/processor_idle.c:688
 cpuidle_enter_state+0x2b4/0x760 drivers/cpuidle/cpuidle.c:237
 cpuidle_enter+0x3c/0x60 drivers/cpuidle/cpuidle.c:351
 call_cpuidle kernel/sched/idle.c:158 [inline]
 cpuidle_idle_call kernel/sched/idle.c:239 [inline]
 do_idle+0x1a3/0x250 kernel/sched/idle.c:306
 cpu_startup_entry+0x15/0x20 kernel/sched/idle.c:403
 secondary_startup_64_no_verify+0xb1/0xbb

read to 0xffff888237d19d68 of 8 bytes by task 23604 on cpu 0:
 print_cpu+0x4fe/0x690 kernel/time/timer_list.c:158
 timer_list_show+0x114/0x180 kernel/time/timer_list.c:291
 traverse+0x150/0x3b0 fs/seq_file.c:111
 seq_lseek+0xab/0x160 fs/seq_file.c:323
 proc_reg_llseek+0xf4/0x160 fs/proc/inode.c:284
 vfs_llseek fs/read_write.c:300 [inline]
 ksys_lseek fs/read_write.c:313 [inline]
 __do_sys_lseek fs/read_write.c:324 [inline]
 __se_sys_lseek fs/read_write.c:322 [inline]
 __x64_sys_lseek+0xf0/0x150 fs/read_write.c:322
 do_syscall_x64 arch/x86/entry/common.c:50 [inline]
 do_syscall_64+0x44/0xa0 arch/x86/entry/common.c:80
 entry_SYSCALL_64_after_hwframe+0x44/0xae

value changed: 0x000001d6315d9ef4 -> 0x000001d63166a227

Reported by Kernel Concurrency Sanitizer on:
CPU: 0 PID: 23604 Comm: syz-executor.5 Not tainted 5.15.0-rc4-syzkaller #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
==================================================================