==================================================================
BUG: KCSAN: data-race in tick_nohz_highres_handler / tick_nohz_next_event

write to 0xffffffff85f1b8f0 of 4 bytes by interrupt on cpu 0:
 tick_sched_do_timer kernel/time/tick-sched.c:205 [inline]
 tick_nohz_highres_handler+0x2ad/0x2c0 kernel/time/tick-sched.c:1512
 __run_hrtimer kernel/time/hrtimer.c:1688 [inline]
 __hrtimer_run_queues+0x217/0x700 kernel/time/hrtimer.c:1752
 hrtimer_interrupt+0x20d/0x7b0 kernel/time/hrtimer.c:1814
 local_apic_timer_interrupt arch/x86/kernel/apic/apic.c:1065 [inline]
 __sysvec_apic_timer_interrupt+0x52/0x190 arch/x86/kernel/apic/apic.c:1082
 sysvec_apic_timer_interrupt+0x68/0x80 arch/x86/kernel/apic/apic.c:1076
 asm_sysvec_apic_timer_interrupt+0x1a/0x20 arch/x86/include/asm/idtentry.h:649
 native_safe_halt arch/x86/include/asm/irqflags.h:48 [inline]
 arch_safe_halt arch/x86/include/asm/irqflags.h:86 [inline]
 acpi_safe_halt+0x20/0x30 drivers/acpi/processor_idle.c:112
 acpi_idle_do_entry+0x19/0x30 drivers/acpi/processor_idle.c:573
 acpi_idle_enter+0x96/0xb0 drivers/acpi/processor_idle.c:707
 cpuidle_enter_state+0xc6/0x260 drivers/cpuidle/cpuidle.c:267
 cpuidle_enter+0x40/0x60 drivers/cpuidle/cpuidle.c:388
 call_cpuidle kernel/sched/idle.c:134 [inline]
 cpuidle_idle_call kernel/sched/idle.c:215 [inline]
 do_idle+0x194/0x230 kernel/sched/idle.c:312
 cpu_startup_entry+0x24/0x30 kernel/sched/idle.c:410
 rest_init+0xf3/0x100 init/main.c:730
 arch_call_rest_init+0x9/0x10 init/main.c:827
 start_kernel+0x57d/0x5d0 init/main.c:1072
 x86_64_start_reservations+0x2a/0x30 arch/x86/kernel/head64.c:555
 x86_64_start_kernel+0x94/0xa0 arch/x86/kernel/head64.c:536
 secondary_startup_64_no_verify+0x15f/0x16b

read to 0xffffffff85f1b8f0 of 4 bytes by task 0 on cpu 1:
 tick_nohz_next_event+0x1f1/0x2d0 kernel/time/tick-sched.c:873
 tick_nohz_get_sleep_length+0x134/0x2c0 kernel/time/tick-sched.c:1264
 menu_select+0x81a/0x1060 drivers/cpuidle/governors/menu.c:286
 cpuidle_select+0x41/0x50 drivers/cpuidle/cpuidle.c:359
 cpuidle_idle_call kernel/sched/idle.c:208 [inline]
 do_idle+0x160/0x230 kernel/sched/idle.c:312
 cpu_startup_entry+0x24/0x30 kernel/sched/idle.c:410
 start_secondary+0x82/0x90 arch/x86/kernel/smpboot.c:336
 secondary_startup_64_no_verify+0x15f/0x16b

value changed: 0xffffffff -> 0x00000000

Reported by Kernel Concurrency Sanitizer on:
CPU: 1 PID: 0 Comm: swapper/1 Not tainted 6.7.0-syzkaller-02723-gde927f6c0b07 #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 11/17/2023
==================================================================