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

write to 0xffff8881032af040 of 8 bytes by interrupt on cpu 1:
 ps2_handle_ack+0x1c5/0x330 drivers/input/serio/libps2.c:447
 atkbd_interrupt+0xbe6/0xd80 drivers/input/keyboard/atkbd.c:424
 serio_interrupt+0x61/0xe0 drivers/input/serio/serio.c:998
 i8042_interrupt+0x3b3/0x780 drivers/input/serio/i8042.c:606
 __handle_irq_event_percpu+0x91/0x490 kernel/irq/handle.c:158
 handle_irq_event_percpu kernel/irq/handle.c:193 [inline]
 handle_irq_event+0x64/0xf0 kernel/irq/handle.c:210
 handle_edge_irq+0x167/0x590 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+0x3c/0xb0 arch/x86/kernel/irq.c:250
 common_interrupt+0x7a/0x90 arch/x86/kernel/irq.c:240
 asm_common_interrupt+0x26/0x40 arch/x86/include/asm/idtentry.h:636
 memset16 arch/x86/include/asm/string_64.h:34 [inline]
 scr_memsetw include/linux/vt_buffer.h:36 [inline]
 csi_J+0x5f3/0x800 drivers/tty/vt/vt.c:1538
 do_con_trol drivers/tty/vt/vt.c:2409 [inline]
 do_con_write+0x2c92/0x35d0 drivers/tty/vt/vt.c:2906
 con_write+0x24/0x40 drivers/tty/vt/vt.c:3246
 process_output_block drivers/tty/n_tty.c:585 [inline]
 n_tty_write+0x76b/0xa80 drivers/tty/n_tty.c:2349
 do_tty_write drivers/tty/tty_io.c:1018 [inline]
 file_tty_write+0x3a0/0x600 drivers/tty/tty_io.c:1089
 tty_write+0x28/0x30 drivers/tty/tty_io.c:1110
 call_write_iter include/linux/fs.h:1868 [inline]
 new_sync_write fs/read_write.c:491 [inline]
 vfs_write+0x47b/0x780 fs/read_write.c:584
 ksys_write+0xeb/0x1a0 fs/read_write.c:637
 __do_sys_write fs/read_write.c:649 [inline]
 __se_sys_write fs/read_write.c:646 [inline]
 __x64_sys_write+0x42/0x50 fs/read_write.c:646
 do_syscall_x64 arch/x86/entry/common.c:50 [inline]
 do_syscall_64+0x41/0xc0 arch/x86/entry/common.c:80
 entry_SYSCALL_64_after_hwframe+0x63/0xcd

read to 0xffff8881032af040 of 8 bytes by task 16159 on cpu 0:
 ps2_do_sendbyte+0x190/0x380 drivers/input/serio/libps2.c:46
 __ps2_command+0x353/0x910 drivers/input/serio/libps2.c:274
 ps2_command+0x54/0x90 drivers/input/serio/libps2.c:335
 atkbd_set_leds+0xad/0x1b0 drivers/input/keyboard/atkbd.c:596
 atkbd_event_work+0x8d/0x300 drivers/input/keyboard/atkbd.c:636
 process_one_work+0x3e6/0x750 kernel/workqueue.c:2405
 worker_thread+0x5f2/0xa10 kernel/workqueue.c:2552
 kthread+0x1d7/0x210 kernel/kthread.c:379
 ret_from_fork+0x1f/0x30 arch/x86/entry/entry_64.S:308

value changed: 0x0000000000000001 -> 0x0000000000000000

Reported by Kernel Concurrency Sanitizer on:
CPU: 0 PID: 16159 Comm: kworker/0:1 Not tainted 6.4.0-rc6-syzkaller-00037-gb6dad5178cea #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 05/27/2023
Workqueue: events atkbd_event_work
==================================================================