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

write to 0xffff8881037e1040 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+0x3d/0x90 arch/x86/kernel/irq.c:240
 asm_common_interrupt+0x26/0x40 arch/x86/include/asm/idtentry.h:636
 update_blocked_averages+0x478/0x4a0
 run_rebalance_domains+0x51/0x60 kernel/sched/fair.c:11829
 __do_softirq+0xc1/0x265 kernel/softirq.c:571
 invoke_softirq kernel/softirq.c:445 [inline]
 __irq_exit_rcu+0x57/0xa0 kernel/softirq.c:650
 sysvec_apic_timer_interrupt+0x6d/0x80 arch/x86/kernel/apic/apic.c:1106
 asm_sysvec_apic_timer_interrupt+0x1a/0x20 arch/x86/include/asm/idtentry.h:645
 console_flush_all+0x495/0x6a0
 console_unlock+0xf3/0x210 kernel/printk/printk.c:3005
 vprintk_emit+0x107/0x430 kernel/printk/printk.c:2305
 vprintk_default+0x26/0x30 kernel/printk/printk.c:2316
 vprintk+0x83/0x90 kernel/printk/printk_safe.c:50
 _printk+0x7a/0xa0 kernel/printk/printk.c:2326
 selinux_netlink_send+0x393/0x400 security/selinux/hooks.c:5843
 security_netlink_send+0x3e/0x70 security/security.c:3828
 netlink_sendmsg+0x563/0x770 net/netlink/af_netlink.c:1903
 sock_sendmsg_nosec net/socket.c:724 [inline]
 sock_sendmsg net/socket.c:747 [inline]
 ____sys_sendmsg+0x375/0x4c0 net/socket.c:2503
 ___sys_sendmsg net/socket.c:2557 [inline]
 __sys_sendmsg+0x1e3/0x270 net/socket.c:2586
 __do_sys_sendmsg net/socket.c:2595 [inline]
 __se_sys_sendmsg net/socket.c:2593 [inline]
 __x64_sys_sendmsg+0x46/0x50 net/socket.c:2593
 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 0xffff8881037e1040 of 8 bytes by task 3166 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_repeat_rate drivers/input/keyboard/atkbd.c:585 [inline]
 atkbd_event_work+0x2c5/0x300 drivers/input/keyboard/atkbd.c:639
 process_one_work+0x3e6/0x750 kernel/workqueue.c:2390
 worker_thread+0x5f2/0xa10 kernel/workqueue.c:2537
 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: 3166 Comm: kworker/0:7 Not tainted 6.3.0-syzkaller-07919-g6e98b09da931 #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 04/14/2023
Workqueue: events atkbd_event_work
==================================================================