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

write to 0xffff88810328a040 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
 __sanitizer_cov_trace_pc+0x5c/0x60 kernel/kcov.c:223
 zap_pte_range mm/memory.c:1407 [inline]
 zap_pmd_range mm/memory.c:1536 [inline]
 zap_pud_range mm/memory.c:1565 [inline]
 zap_p4d_range mm/memory.c:1586 [inline]
 unmap_page_range+0x9f7/0x1e60 mm/memory.c:1607
 unmap_single_vma+0x13c/0x1c0 mm/memory.c:1653
 unmap_vmas+0x157/0x200 mm/memory.c:1692
 exit_mmap+0x158/0x520 mm/mmap.c:3031
 __mmput+0x28/0x1c0 kernel/fork.c:1204
 mmput+0x49/0x60 kernel/fork.c:1226
 exit_mm+0xe1/0x180 kernel/exit.c:563
 do_exit+0x558/0x1660 kernel/exit.c:856
 do_group_exit+0x101/0x150 kernel/exit.c:1019
 get_signal+0xeb1/0xff0 kernel/signal.c:2859
 arch_do_signal_or_restart+0x89/0x2a0 arch/x86/kernel/signal.c:306
 exit_to_user_mode_loop+0x6f/0xe0 kernel/entry/common.c:168
 exit_to_user_mode_prepare+0x6c/0xb0 kernel/entry/common.c:204
 __syscall_exit_to_user_mode_work kernel/entry/common.c:286 [inline]
 syscall_exit_to_user_mode+0x26/0x140 kernel/entry/common.c:297
 do_syscall_64+0x4d/0xc0 arch/x86/entry/common.c:86
 entry_SYSCALL_64_after_hwframe+0x63/0xcd

read to 0xffff88810328a040 of 8 bytes by task 34 on cpu 0:
 ps2_do_sendbyte+0x10a/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:2390
 worker_thread+0x5f2/0xa10 kernel/workqueue.c:2537
 kthread+0x1a6/0x1e0 kernel/kthread.c:376
 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: 34 Comm: kworker/0:1 Not tainted 6.3.0-rc5-syzkaller-00032-g99ddf2254feb #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 03/30/2023
Workqueue: events atkbd_event_work
==================================================================