==================================================================
BUG: KCSAN: data-race in ps2_do_sendbyte / ps2_handle_ack

write to 0xffff888102414840 of 8 bytes by interrupt on cpu 1:
 ps2_handle_ack+0x1b3/0x320 drivers/input/serio/libps2.c:447
 atkbd_interrupt+0xa5b/0xc30 drivers/input/keyboard/atkbd.c:424
 serio_interrupt+0x5d/0xe0 drivers/input/serio/serio.c:998
 i8042_interrupt+0x380/0x710 drivers/input/serio/i8042.c:606
 __handle_irq_event_percpu+0x92/0x400 kernel/irq/handle.c:158
 handle_irq_event_percpu kernel/irq/handle.c:193 [inline]
 handle_irq_event+0x60/0xf0 kernel/irq/handle.c:210
 handle_edge_irq+0x17e/0x5a0 kernel/irq/chip.c:819
 generic_handle_irq_desc include/linux/irqdesc.h:158 [inline]
 handle_irq arch/x86/kernel/irq.c:231 [inline]
 __common_interrupt+0x60/0x100 arch/x86/kernel/irq.c:250
 common_interrupt+0x9a/0xc0 arch/x86/kernel/irq.c:240
 asm_common_interrupt+0x22/0x40 arch/x86/include/asm/idtentry.h:640
 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:112 [inline]
 acpi_idle_do_entry drivers/acpi/processor_idle.c:572 [inline]
 acpi_idle_enter+0x283/0x340 drivers/acpi/processor_idle.c:709
 cpuidle_enter_state+0x2de/0x960 drivers/cpuidle/cpuidle.c:239
 cpuidle_enter+0x3c/0x60 drivers/cpuidle/cpuidle.c:356
 call_cpuidle kernel/sched/idle.c:155 [inline]
 cpuidle_idle_call kernel/sched/idle.c:236 [inline]
 do_idle+0x1a7/0x250 kernel/sched/idle.c:303
 cpu_startup_entry+0x15/0x20 kernel/sched/idle.c:400
 start_secondary+0x78/0x80 arch/x86/kernel/smpboot.c:262
 secondary_startup_64_no_verify+0xcf/0xdb

read to 0xffff888102414840 of 8 bytes by task 6 on cpu 0:
 ps2_do_sendbyte+0x1ae/0x380 drivers/input/serio/libps2.c:46
 __ps2_command+0x35e/0x8c0 drivers/input/serio/libps2.c:274
 ps2_command+0x51/0x90 drivers/input/serio/libps2.c:335
 atkbd_set_repeat_rate drivers/input/keyboard/atkbd.c:585 [inline]
 atkbd_event_work+0x2a8/0x2e0 drivers/input/keyboard/atkbd.c:639
 process_one_work+0x3d3/0x720 kernel/workqueue.c:2289
 worker_thread+0x618/0xa70 kernel/workqueue.c:2436
 kthread+0x1a9/0x1e0 kernel/kthread.c:376
 ret_from_fork+0x1f/0x30 arch/x86/entry/entry_64.S:306

value changed: 0x0000000000000001 -> 0x0000000000000000

Reported by Kernel Concurrency Sanitizer on:
CPU: 0 PID: 6 Comm: kworker/0:0 Not tainted 6.1.0-rc4-syzkaller-00159-g4bbf3422df78-dirty #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 10/26/2022
Workqueue: events atkbd_event_work
==================================================================