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

write to 0xffff888101ccb840 of 8 bytes by interrupt on cpu 1:
 ps2_handle_ack+0x15a/0x350 drivers/input/serio/libps2.c:439
 atkbd_interrupt+0xbf7/0xcd0 drivers/input/keyboard/atkbd.c:434
 serio_interrupt+0x5d/0xe0 drivers/input/serio/serio.c:1001
 i8042_interrupt+0x39e/0x720 drivers/input/serio/i8042.c:602
 __handle_irq_event_percpu+0x93/0x410 kernel/irq/handle.c:156
 handle_irq_event_percpu kernel/irq/handle.c:196 [inline]
 handle_irq_event+0xb6/0x170 kernel/irq/handle.c:213
 handle_edge_irq+0x17e/0x600 kernel/irq/chip.c:822
 generic_handle_irq_desc include/linux/irqdesc.h:158 [inline]
 handle_irq arch/x86/kernel/irq.c:231 [inline]
 __common_interrupt+0x38/0xb0 arch/x86/kernel/irq.c:250
 common_interrupt+0x73/0x90 arch/x86/kernel/irq.c:240
 asm_common_interrupt+0x1e/0x40
 exit_to_user_mode_loop kernel/entry/common.c:162 [inline]
 exit_to_user_mode_prepare+0xa2/0x190 kernel/entry/common.c:207
 irqentry_exit_to_user_mode+0x5/0x10 kernel/entry/common.c:313
 irqentry_exit+0xe/0x30 kernel/entry/common.c:404
 sysvec_apic_timer_interrupt+0x3e/0x80 arch/x86/kernel/apic/apic.c:1097
 asm_sysvec_apic_timer_interrupt+0x12/0x20

read to 0xffff888101ccb840 of 8 bytes by task 26995 on cpu 0:
 ps2_do_sendbyte+0x149/0x3b0 drivers/input/serio/libps2.c:45
 __ps2_command+0x2fd/0xa60 drivers/input/serio/libps2.c:273
 ps2_command+0x51/0x90 drivers/input/serio/libps2.c:332
 atkbd_set_repeat_rate drivers/input/keyboard/atkbd.c:595 [inline]
 atkbd_event_work+0x2d4/0x300 drivers/input/keyboard/atkbd.c:649
 process_one_work+0x402/0x910 kernel/workqueue.c:2297
 worker_thread+0x636/0xae0 kernel/workqueue.c:2444
 kthread+0x262/0x280 kernel/kthread.c:319
 ret_from_fork+0x1f/0x30

value changed: 0x0000000000000001 -> 0x0000000000000000

Reported by Kernel Concurrency Sanitizer on:
CPU: 0 PID: 26995 Comm: kworker/0:3 Tainted: G        W         5.15.0-rc6-syzkaller #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
Workqueue: events atkbd_event_work
==================================================================