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

write to 0xffff888103ab8040 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:606
 __handle_irq_event_percpu+0x92/0x450 kernel/irq/handle.c:158
 handle_irq_event_percpu kernel/irq/handle.c:193 [inline]
 handle_irq_event+0x7b/0x110 kernel/irq/handle.c:210
 handle_edge_irq+0x18e/0x5f0 kernel/irq/chip.c:817
 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+0x1e/0x40
 find_watchpoint kernel/kcsan/core.c:134 [inline]
 check_access kernel/kcsan/core.c:726 [inline]
 __tsan_read8+0x33/0x180 kernel/kcsan/core.c:1014
 folio_test_anon include/linux/page-flags.h:651 [inline]
 PageAnon include/linux/page-flags.h:656 [inline]
 __page_mapcount+0x5d/0x230 mm/util.c:784
 page_mapcount include/linux/mm.h:825 [inline]
 zap_pte_range+0x7d9/0x1790 mm/memory.c:1390
 zap_pmd_range mm/memory.c:1497 [inline]
 zap_pud_range mm/memory.c:1526 [inline]
 zap_p4d_range mm/memory.c:1547 [inline]
 unmap_page_range+0x2dc/0x3d0 mm/memory.c:1568
 unmap_single_vma+0x157/0x210 mm/memory.c:1613
 unmap_vmas+0xd0/0x180 mm/memory.c:1645
 exit_mmap+0x11f/0x380 mm/mmap.c:3148
 __mmput+0x27/0x1b0 kernel/fork.c:1183
 mmput+0x3d/0x50 kernel/fork.c:1205
 exit_mm+0xdb/0x170 kernel/exit.c:510
 do_exit+0x53e/0x1700 kernel/exit.c:782
 do_group_exit+0xa5/0x160 kernel/exit.c:925
 get_signal+0x14ee/0x15a0 kernel/signal.c:2904
 arch_do_signal_or_restart+0x87/0x2b0 arch/x86/kernel/signal.c:867
 exit_to_user_mode_loop kernel/entry/common.c:180 [inline]
 exit_to_user_mode_prepare+0xc1/0x140 kernel/entry/common.c:215
 __syscall_exit_to_user_mode_work kernel/entry/common.c:297 [inline]
 syscall_exit_to_user_mode+0x20/0x40 kernel/entry/common.c:308
 do_syscall_64+0x37/0x50 arch/x86/entry/common.c:86
 entry_SYSCALL_64_after_hwframe+0x44/0xae

read to 0xffff888103ab8040 of 8 bytes by task 23749 on cpu 0:
 ps2_do_sendbyte+0x12e/0x3b0 drivers/input/serio/libps2.c:45
 __ps2_command+0x30d/0xa00 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+0x3e3/0x970 kernel/workqueue.c:2289
 worker_thread+0x638/0xaa0 kernel/workqueue.c:2436
 kthread+0x1bf/0x1e0 kernel/kthread.c:376
 ret_from_fork+0x1f/0x30

value changed: 0x0000000000000001 -> 0x0000000000000000

Reported by Kernel Concurrency Sanitizer on:
CPU: 0 PID: 23749 Comm: kworker/0:0 Not tainted 5.17.0-syzkaller-13430-g787af64d05cd-dirty #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
Workqueue: events atkbd_event_work
==================================================================