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

write to 0xffff88810387da48 of 8 bytes by interrupt on cpu 0:
 ps2_interrupt+0x50d/0x550 drivers/input/serio/libps2.c:-1
 serio_interrupt+0x66/0xf0 drivers/input/serio/serio.c:967
 i8042_handle_data+0x388/0x680 drivers/input/serio/i8042.c:598
 i8042_interrupt+0x15/0x90 drivers/input/serio/i8042.c:605
 __handle_irq_event_percpu+0x8b/0x480 kernel/irq/handle.c:209
 handle_irq_event_percpu kernel/irq/handle.c:246 [inline]
 handle_irq_event+0x64/0xf0 kernel/irq/handle.c:263
 handle_edge_irq+0x155/0x440 kernel/irq/chip.c:859
 generic_handle_irq_desc include/linux/irqdesc.h:188 [inline]
 handle_irq arch/x86/kernel/irq.c:209 [inline]
 call_irq_handler arch/x86/kernel/irq.c:-1 [inline]
 __common_interrupt+0x60/0xb0 arch/x86/kernel/irq.c:280
 common_interrupt+0x7e/0x90 arch/x86/kernel/irq.c:273
 asm_common_interrupt+0x26/0x40 arch/x86/include/asm/idtentry.h:665
 _compound_head include/linux/page-flags.h:226 [inline]
 zap_present_ptes mm/memory.c:1844 [inline]
 do_zap_pte_range mm/memory.c:1963 [inline]
 zap_pte_range mm/memory.c:2065 [inline]
 zap_pmd_range mm/memory.c:2151 [inline]
 zap_pud_range mm/memory.c:2179 [inline]
 zap_p4d_range mm/memory.c:2200 [inline]
 __zap_vma_range+0x9b7/0x2ce0 mm/memory.c:2240
 unmap_vmas+0x200/0x310 mm/memory.c:2309
 exit_mmap+0x1a2/0x5e0 mm/mmap.c:1315
 __mmput+0x28/0x1c0 kernel/fork.c:1193
 mmput+0x40/0x50 kernel/fork.c:1216
 exit_mm+0x113/0x1a0 kernel/exit.c:617
 do_exit+0x438/0x1510 kernel/exit.c:999
 do_group_exit+0xfe/0x140 kernel/exit.c:1154
 get_signal+0xe07/0xf10 kernel/signal.c:3051
 arch_do_signal_or_restart+0x96/0x480 arch/x86/kernel/signal.c:337
 __exit_to_user_mode_loop kernel/entry/common.c:66 [inline]
 exit_to_user_mode_loop+0x15d/0x8c0 kernel/entry/common.c:101
 __exit_to_user_mode_prepare include/linux/irq-entry-common.h:207 [inline]
 syscall_exit_to_user_mode_prepare include/linux/irq-entry-common.h:230 [inline]
 syscall_exit_to_user_mode include/linux/entry-common.h:343 [inline]
 do_syscall_64+0x212/0x360 arch/x86/entry/syscall_64.c:89
 entry_SYSCALL_64_after_hwframe+0x77/0x7f

read to 0xffff88810387da48 of 8 bytes by task 3420 on cpu 1:
 ps2_do_sendbyte+0x17e/0x320 drivers/input/serio/libps2.c:65
 __ps2_command+0x3b7/0xaa0 drivers/input/serio/libps2.c:328
 ps2_command+0x52/0x90 drivers/input/serio/libps2.c:403
 synaptics_detect+0x6e/0x130 drivers/input/mouse/synaptics.c:103
 psmouse_do_detect drivers/input/mouse/psmouse-base.c:995 [inline]
 psmouse_extensions+0x4df/0x960 drivers/input/mouse/psmouse-base.c:1090
 __psmouse_reconnect+0x3dd/0x880 drivers/input/mouse/psmouse-base.c:1685
 psmouse_reconnect+0x23/0x40 drivers/input/mouse/psmouse-base.c:1723
 serio_reconnect_driver drivers/input/serio/serio.c:52 [inline]
 serio_reconnect_port drivers/input/serio/serio.c:558 [inline]
 serio_handle_event+0x1c7/0xac0 drivers/input/serio/serio.c:201
 process_one_work kernel/workqueue.c:3396 [inline]
 process_scheduled_works+0x56a/0xa50 kernel/workqueue.c:3479
 worker_thread+0x569/0x750 kernel/workqueue.c:3560
 kthread+0x223/0x270 kernel/kthread.c:436
 ret_from_fork+0x146/0x330 arch/x86/kernel/process.c:158
 ret_from_fork_asm+0x1a/0x30 arch/x86/entry/entry_64.S:245

value changed: 0x0000000000000001 -> 0x0000000000000000

Reported by Kernel Concurrency Sanitizer on:
CPU: 1 UID: 0 PID: 3420 Comm: kworker/1:8 Not tainted syzkaller #0 PREEMPT(lazy) 
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 07/24/2026
Workqueue: events_long serio_handle_event
==================================================================